22 lines
524 B
Rust
22 lines
524 B
Rust
//@ run-pass
|
|
//@ pretty-expanded FIXME #23616
|
|
|
|
#![allow(dead_code)]
|
|
|
|
|
|
trait A<T> { fn get(self) -> T; }
|
|
trait B<T, U> { fn get(self) -> (T,U); }
|
|
trait C<'a, U> { fn get(self) -> &'a U; }
|
|
|
|
mod foo {
|
|
pub trait D<'a, T> { fn get(self) -> &'a T; }
|
|
}
|
|
|
|
fn foo1<T>(_: &(dyn A<T> + Send)) {}
|
|
fn foo2<T>(_: Box<dyn A<T> + Send + Sync>) {}
|
|
fn foo3<T>(_: Box<dyn B<isize, usize> + 'static>) {}
|
|
fn foo4<'a, T>(_: Box<dyn C<'a, T> + 'static + Send>) {}
|
|
fn foo5<'a, T>(_: Box<dyn foo::D<'a, T> + 'static + Send>) {}
|
|
|
|
pub fn main() {}
|