Rollup merge of #99064 - lyming2007:issue-97687-fix, r=estebank

[rust.git] / src / test / ui / type-alias-impl-trait / cross_inference_pattern_bug.rs

// compile-flags: --edition=2021
#![feature(type_alias_impl_trait)]

fn main() {
    type T = impl Copy; //~ ERROR unconstrained opaque type
    let foo: T = (1u32, 2u32);
    let (a, b): (u32, u32) = foo;
}