//# publish

module 0x1.M {
    struct S<T> { b: bool }
    struct R<T1, T2> { b: bool }

    foo<T>() {
    label b0:
        // instantiation loop
        Self.foo<Self.R<u64, Self.S<Self.S<T>>>>();
        return;
    }
}