blob: 309a66c8dc3ccfb6e7782a36bb483a213926203d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
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
}
}
|