1 // revisions: nofallback fallback
2 //[nofallback] check-pass
4 #![cfg_attr(fallback, feature(never_type, never_type_fallback))]
12 fn unconstrained_arg<T: Test>(_: T) {}
15 // Here the type variable falls back to `!`,
16 // and hence we get a type error.
17 unconstrained_arg(return);
18 //[fallback]~^ ERROR trait bound `!: Test` is not satisfied