summary refs log tree commit diff
path: root/src/test/ui/issues/issue-56202.rs
blob: bd222b7fe980ed64acc1101c8ac92c62a8d6ac46 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
// compile-pass

trait FooTrait {}

trait BarTrait {
    fn foo<T: FooTrait>(_: T) -> Self;
}

struct FooStruct(u32);

impl BarTrait for FooStruct {
    fn foo<T: FooTrait>(_: T) -> Self {
        Self(u32::default())
    }
}

fn main() {}