module M { fun foo() { ::S { } } }