src/tools/rustfmt/tests/target/issue_4257.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

#![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
    }
}