blob: de31737efef52915773a3db1250159b261dbdab9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
trait A {
type B<'b>;
fn a() -> Self::B<'static>;
}
struct C;
struct Wrapper<T>(T);
impl A for C {
type B<T> = Wrapper<T>;
//~^ ERROR type `B` has 1 type parameter but its trait declaration has 0 type parameters
fn a() -> Self::B<'static> {}
}
fn main() {}
|