tests/rustdoc/inline_cross/auxiliary/non_lifetime_binders.rs


1
2
3
4
5
6
7
8
9
10

#![feature(non_lifetime_binders)]

pub trait Trait<T> {}

pub fn f(_: impl for<T> Trait<T>) {}

pub fn g<T>(_: T)
where
    T: for<U> Trait<U>,
{}