1 error[E0391]: cycle detected when computing type of `Foo`
2 --> $DIR/nested-type.rs:4:1
4 LL | struct Foo<const N: [u8; {
5 | ^^^^^^^^^^^^^^^^^^^^^^^^
7 note: ...which requires computing type of `Foo::N`...
8 --> $DIR/nested-type.rs:4:18
10 LL | struct Foo<const N: [u8; {
12 note: ...which requires const-evaluating + checking `Foo::{{constant}}#0`...
13 --> $DIR/nested-type.rs:4:26
15 LL | struct Foo<const N: [u8; {
16 | __________________________^
19 LL | | struct Foo<const N: usize>;
21 LL | | Foo::<17>::value()
24 note: ...which requires const-evaluating + checking `Foo::{{constant}}#0`...
25 --> $DIR/nested-type.rs:4:26
27 LL | struct Foo<const N: [u8; {
28 | __________________________^
31 LL | | struct Foo<const N: usize>;
33 LL | | Foo::<17>::value()
36 note: ...which requires const-evaluating `Foo::{{constant}}#0`...
37 --> $DIR/nested-type.rs:4:26
39 LL | struct Foo<const N: [u8; {
40 | __________________________^
43 LL | | struct Foo<const N: usize>;
45 LL | | Foo::<17>::value()
48 note: ...which requires type-checking `Foo::{{constant}}#0`...
49 --> $DIR/nested-type.rs:4:26
51 LL | struct Foo<const N: [u8; {
52 | __________________________^
55 LL | | struct Foo<const N: usize>;
57 LL | | Foo::<17>::value()
60 note: ...which requires computing the variances of `Foo::{{constant}}#0::Foo`...
61 --> $DIR/nested-type.rs:7:5
63 LL | struct Foo<const N: usize>;
64 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^
65 = note: ...which requires computing the variances for items in this crate...
66 = note: ...which again requires computing type of `Foo`, completing the cycle
67 note: cycle used when collecting item types in top-level module
68 --> $DIR/nested-type.rs:1:1
70 LL | / #![feature(const_generics)]
71 LL | | #![allow(incomplete_features)]
73 LL | | struct Foo<const N: [u8; {
79 error[E0391]: cycle detected when computing type of `Foo`
80 --> $DIR/nested-type.rs:4:1
82 LL | struct Foo<const N: [u8; {
83 | ^^^^^^^^^^^^^^^^^^^^^^^^
85 note: ...which requires computing type of `Foo::N`...
86 --> $DIR/nested-type.rs:4:18
88 LL | struct Foo<const N: [u8; {
90 note: ...which requires const-evaluating + checking `Foo::{{constant}}#0`...
91 --> $DIR/nested-type.rs:4:26
93 LL | struct Foo<const N: [u8; {
94 | __________________________^
97 LL | | struct Foo<const N: usize>;
99 LL | | Foo::<17>::value()
102 note: ...which requires const-evaluating + checking `Foo::{{constant}}#0`...
103 --> $DIR/nested-type.rs:4:26
105 LL | struct Foo<const N: [u8; {
106 | __________________________^
109 LL | | struct Foo<const N: usize>;
111 LL | | Foo::<17>::value()
114 note: ...which requires const-evaluating `Foo::{{constant}}#0`...
115 --> $DIR/nested-type.rs:4:26
117 LL | struct Foo<const N: [u8; {
118 | __________________________^
121 LL | | struct Foo<const N: usize>;
123 LL | | Foo::<17>::value()
126 note: ...which requires type-checking `Foo::{{constant}}#0`...
127 --> $DIR/nested-type.rs:4:26
129 LL | struct Foo<const N: [u8; {
130 | __________________________^
133 LL | | struct Foo<const N: usize>;
135 LL | | Foo::<17>::value()
138 note: ...which requires computing the variances of `Foo::{{constant}}#0::Foo`...
139 --> $DIR/nested-type.rs:7:5
141 LL | struct Foo<const N: usize>;
142 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^
143 = note: ...which requires computing the variances for items in this crate...
144 = note: ...which again requires computing type of `Foo`, completing the cycle
145 note: cycle used when collecting item types in top-level module
146 --> $DIR/nested-type.rs:1:1
148 LL | / #![feature(const_generics)]
149 LL | | #![allow(incomplete_features)]
151 LL | | struct Foo<const N: [u8; {
157 error: aborting due to 2 previous errors
159 For more information about this error, try `rustc --explain E0391`.