19 lines
307 B
Rust
19 lines
307 B
Rust
|
#![feature(generic_associated_types)]
|
||
|
|
#![allow(incomplete_features)]
|
||
|
|
|
||
|
|
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
|
||
|
|
}
|
||
|
|
}
|