// check: VerificationError
// check: RecursiveStructDef

module M {
    struct A{b: V#Self.B}
    struct B{a: V#Self.A}
}