summaryrefslogtreecommitdiffstats
path: root/tests/ui/type-alias-impl-trait/cross_inference.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/type-alias-impl-trait/cross_inference.rs')
-rw-r--r--tests/ui/type-alias-impl-trait/cross_inference.rs6
1 files changed, 4 insertions, 2 deletions
diff --git a/tests/ui/type-alias-impl-trait/cross_inference.rs b/tests/ui/type-alias-impl-trait/cross_inference.rs
index dafaf40a6..5eaf0ddda 100644
--- a/tests/ui/type-alias-impl-trait/cross_inference.rs
+++ b/tests/ui/type-alias-impl-trait/cross_inference.rs
@@ -1,10 +1,12 @@
+// revisions: current next
+//[next] compile-flags: -Ztrait-solver=next
// check-pass
#![feature(type_alias_impl_trait)]
fn main() {
- type T = impl Copy;
- let foo: T = (1u32, 2u32);
+ type Tait = impl Copy;
+ let foo: Tait = (1u32, 2u32);
let x: (_, _) = foo;
println!("{:?}", x);
}