blob: bb6622c0a5fb7a6f47dda090738be93f79f83f7f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
// revisions: current next
//[next] compile-flags: -Ztrait-solver=next
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() {}
|