blob: ae2f7c00ea4196c334603c17e2117f5822000a17 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
#![feature(associated_type_defaults)]
trait Foo {
type A<'a>;
type B<'a, 'b>;
type C;
type D<T>;
type E<'a, T>;
// Test parameters in default values
type FOk<T> = Self::E<'static, T>;
type FErr1 = Self::E<'static, 'static>;
//~^ ERROR associated type takes 1 lifetime argument but 2 lifetime arguments were supplied
//~| ERROR associated type takes 1
type FErr2<T> = Self::E<'static, T, u32>;
//~^ ERROR associated type takes 1
}
fn main() {}
|