blob: e91c9f2d29a8215e785dea0147b251edcadb4e13 (
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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
#![feature(associated_type_defaults)]
// A more complex version of `defaults-cyclic-fail-1.rs`, with non-trivial defaults.
// Having a cycle in assoc. type defaults is okay...
trait Tr {
type A = Vec<Self::B>;
type B = Box<Self::A>;
}
impl Tr for () {}
impl Tr for u8 {
type A = u8;
}
impl Tr for u16 {
type B = ();
}
impl Tr for u32 {
type A = ();
type B = u8;
}
impl Tr for bool {
type A = Box<Self::B>;
//~^ ERROR overflow evaluating the requirement `<bool as Tr>::B == _`
}
// (the error is shown twice for some reason)
impl Tr for usize {
type B = &'static Self::A;
//~^ ERROR overflow evaluating the requirement `<usize as Tr>::A == _`
}
fn main() {
// We don't check that the types project correctly because the cycle errors stop compilation
// before `main` is type-checked.
// `defaults-cyclic-pass-2.rs` does this.
}
|