diff options
Diffstat (limited to 'tests/ui/traits/non_lifetime_binders/nested-apit-mentioning-outer-bound-var.rs')
-rw-r--r-- | tests/ui/traits/non_lifetime_binders/nested-apit-mentioning-outer-bound-var.rs | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/tests/ui/traits/non_lifetime_binders/nested-apit-mentioning-outer-bound-var.rs b/tests/ui/traits/non_lifetime_binders/nested-apit-mentioning-outer-bound-var.rs new file mode 100644 index 000000000..e9ae00df7 --- /dev/null +++ b/tests/ui/traits/non_lifetime_binders/nested-apit-mentioning-outer-bound-var.rs @@ -0,0 +1,11 @@ +#![feature(non_lifetime_binders)] +//~^ WARN the feature `non_lifetime_binders` is incomplete + +trait Trait<Input> { + type Assoc; +} + +fn uwu(_: impl for<T> Trait<(), Assoc = impl Trait<T>>) {} +//~^ ERROR `impl Trait` can only mention type parameters from an fn or impl + +fn main() {} |