//# publish
module 0x1.M {
    struct Foo<T> { x: T }

    foo() {
        let x: u64;
    label b0:
        Foo<u64> { x: x } = Foo<u64> { x: 42 }; // valid
        return;
    }
}

//# publish
module 0x1.N {
    struct Foo<T1: copy + drop, T2> { x: T1, y: T2 }

    foo() {
        let x: u64;
        let y: bool;
    label b0:
        // valid
        Foo<u64, bool> { x: x, y: y }  = Foo<u64, bool> { x: 42, y: true };
        return;
    }
}