1 // This is a feature gate test for `never_type_fallback`.
2 // It works by using a scenario where the type fall backs to `()` rather than ยด!`
3 // in the case where `#![feature(never_type_fallback)]` would change it to `!`.
9 fn should_ret_unit() -> impl T {
10 //~^ ERROR the trait bound `(): T` is not satisfied