11 lines
208 B
Rust
11 lines
208 B
Rust
trait Trait<T> {
|
|
type Type<'a> where T: 'a;
|
|
fn foo(x: &T) -> Self::Type<'_>;
|
|
}
|
|
impl<T> Trait<T> for () {
|
|
type Type<'a> where T: 'a = &'a T;
|
|
fn foo(x: &T) -> Self::Type<'_> {
|
|
x
|
|
}
|
|
}
|