blob: 75430da1482398b111a8e4a1dd2a780ebe9aa0da (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
// check-pass
trait Foo {
fn do_stuff() -> Self;
}
trait Bar {
type Output;
}
impl<T> Foo for dyn Bar<Output = T>
where
Self: Sized,
{
fn do_stuff() -> Self {
todo!()
}
}
fn main() {}
|