// check: VerificationError { kind: StructDefinition, idx: 1, err: DuplicateElement }

module M {
    struct T{}
    struct T{}
}