//# publish
module 0x1.M {
    struct S<T> { b: bool }

    foo<T>() {
        let x: Self.S<T>;
    label b0:
        return;
    }
}