mirror of https://github.com/rust-lang/rust
26 lines
352 B
Rust
26 lines
352 B
Rust
//@ edition:2021
|
|
//@ check-pass
|
|
|
|
#![feature(return_type_notation)]
|
|
//~^ WARN the feature `return_type_notation` is incomplete
|
|
|
|
trait Super<'a> {
|
|
async fn test();
|
|
}
|
|
impl Super<'_> for () {
|
|
async fn test() {}
|
|
}
|
|
|
|
trait Foo: for<'a> Super<'a> {}
|
|
impl Foo for () {}
|
|
|
|
fn test<T>()
|
|
where
|
|
T: Foo<test(): Send>,
|
|
{
|
|
}
|
|
|
|
fn main() {
|
|
test::<()>();
|
|
}
|