14 lines
278 B
Rust
14 lines
278 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
|
||
|
|
}
|
||
|
|
}
|