blob: 61ef013236e8d2bf63328221c0d45b3c9b21614c (
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
|
#![feature(associated_type_defaults)]
// Having a cycle in assoc. type defaults is okay...
trait Tr {
type A = Self::B;
type B = 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;
}
// ...but not in an impl that redefines one of the types.
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-1.rs` does this.
}
|