1 // ignore-tidy-linelength
2 // ignore-compare-mode-chalk
3 // revisions: min_tait full_tait
4 #![feature(min_type_alias_impl_trait)]
5 #![cfg_attr(full_tait, feature(type_alias_impl_trait))]
6 //[full_tait]~^ WARN incomplete
11 fn foo<T>() -> Self::E;
17 fn foo<T>() -> Self::E {
18 //~^ ERROR type parameter `T` is part of concrete type but not used in parameter list for the `impl Trait` type alias