tests/ui/traits/non_lifetime_binders/nested-apit-mentioning-outer-bound-var.rs


1
2
3
4
5
6
7
8
9
10
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() {}