rust/tests/ui/traits/non_lifetime_binders/basic.rs
2024-02-16 20:02:50 +00:00

20 lines
301 B
Rust

//@ check-pass
// Basic test that show's we can succesfully typeck a `for<T>` where clause.
#![feature(non_lifetime_binders)]
//~^ WARN the feature `non_lifetime_binders` is incomplete
trait Trait {}
impl<T: ?Sized> Trait for T {}
fn foo()
where
for<T> T: Trait,
{
}
fn main() {
foo();
}