1 error: unconstrained opaque type
2 --> $DIR/cross_inference_pattern_bug_no_type.rs:10:14
4 LL | type T = impl Copy; // error: unconstrained opaque type
7 = note: `T` must be used in combination with a concrete type within the same module
9 error: aborting due to previous error