mirror of https://github.com/rust-lang/rust
20 lines
502 B
Rust
20 lines
502 B
Rust
//@ edition: 2021
|
|
|
|
#![feature(return_type_notation)]
|
|
//~^ WARN the feature `return_type_notation` is incomplete
|
|
|
|
trait Trait {
|
|
async fn method() {}
|
|
}
|
|
|
|
fn foo<T: Trait<method(i32): Send>>() {}
|
|
//~^ ERROR argument types not allowed with return type notation
|
|
|
|
fn bar<T: Trait<method() -> (): Send>>() {}
|
|
//~^ ERROR return type not allowed with return type notation
|
|
|
|
fn baz<T: Trait<method(..): Send>>() {}
|
|
//~^ ERROR return type notation uses `()` instead of `(..)` for elided arguments
|
|
|
|
fn main() {}
|