blob: 9b793642d07c9d1570d49bad00a2a48cf27af1f4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
// check-pass
pub trait Foo {
type Error: Error;
fn foo(&self, stream: &<Self::Error as Error>::Span);
}
pub struct Wrapper<Inner>(Inner);
impl<E: Error, Inner> Foo for Wrapper<Inner>
where
Inner: Foo<Error = E>,
{
type Error = E;
fn foo(&self, stream: &<Self::Error as Error>::Span) {
todo!()
}
}
pub trait Error {
type Span;
}
fn main() {}
|