rust/tests/ui/type-alias-impl-trait/cross_inference.rs

14 lines
301 B
Rust

//@ revisions: current next
//@ ignore-compare-mode-next-solver (explicit revisions)
//@[next] compile-flags: -Znext-solver
//@ check-pass
#![feature(type_alias_impl_trait)]
fn main() {
type Tait = impl Copy;
let foo: Tait = (1u32, 2u32);
let x: (_, _) = foo;
println!("{:?}", x);
}