bless tests · rust-lang/rust@a6a83d3 (original) (raw)
``
1
`` +
error: const impl for trait PartialEq which is not marked with #[const_trait]
``
``
2
`+
--> $DIR/const-float-classify.rs:12:12
`
``
3
`+
|
`
``
4
`+
LL | impl const PartialEq for bool {
`
``
5
`+
| ^^^^^^^^^^^^^^^^^
`
``
6
`+
|
`
``
7
`` +
= note: marking a trait with #[const_trait] ensures all default method bodies are const
``
``
8
`+
= note: adding a non-const method body in the future would be a breaking change
`
``
9
+
``
10
`` +
error[E0207]: the const parameter host is not constrained by the impl trait, self type, or predicates
``
``
11
`+
--> $DIR/const-float-classify.rs:12:6
`
``
12
`+
|
`
``
13
`+
LL | impl const PartialEq for bool {
`
``
14
`+
| ^^^^^ unconstrained const parameter
`
``
15
`+
|
`
``
16
`+
= note: expressions using a const parameter must map each value to a distinct output value
`
``
17
`+
= note: proving the result of expressions other than the parameter are unique is not supported
`
``
18
+
``
19
`+
error[E0284]: type annotations needed
`
``
20
`+
--> $DIR/const-float-classify.rs:21:35
`
``
21
`+
|
`
``
22
`+
LL | const _: () = assert!($a == $b);
`
``
23
`` +
| ^^ cannot infer the value of the constant _
``
``
24
`+
...
`
``
25
`+
LL | / suite! {
`
``
26
`+
LL | | [is_nan, is_infinite, is_finite, is_normal, is_sign_positive, is_sign_negative]
`
``
27
`+
LL | | -0.0 / 0.0 => [ true, false, false, false, NonDet, NonDet]
`
``
28
`+
LL | | 0.0 / 0.0 => [ true, false, false, false, NonDet, NonDet]
`
``
29
`+
... |
`
``
30
`+
LL | | -1.0 / 0.0 => [ false, true, false, false, false, true]
`
``
31
`+
LL | | }
`
``
32
`+
| |_- in this macro invocation
`
``
33
`+
|
`
``
34
`` +
note: required for bool to implement PartialEq<NonDet>
``
``
35
`+
--> $DIR/const-float-classify.rs:12:12
`
``
36
`+
|
`
``
37
`+
LL | impl const PartialEq for bool {
`
``
38
`+
| ----- ^^^^^^^^^^^^^^^^^ ^^^^
`
``
39
`+
| |
`
``
40
`+
| unsatisfied trait bound introduced here
`
``
41
`` +
= note: this error originates in the macro const_assert which comes from the expansion of the macro suite (in Nightly builds, run with -Z macro-backtrace for more info)
``
``
42
+
``
43
`+
error[E0284]: type annotations needed
`
``
44
`+
--> $DIR/const-float-classify.rs:21:35
`
``
45
`+
|
`
``
46
`+
LL | const _: () = assert!($a == $b);
`
``
47
`` +
| ^^ cannot infer the value of the constant _
``
``
48
`+
...
`
``
49
`+
LL | / suite! {
`
``
50
`+
LL | | [is_nan, is_infinite, is_finite, is_normal, is_sign_positive, is_sign_negative]
`
``
51
`+
LL | | -0.0 / 0.0 => [ true, false, false, false, NonDet, NonDet]
`
``
52
`+
LL | | 0.0 / 0.0 => [ true, false, false, false, NonDet, NonDet]
`
``
53
`+
... |
`
``
54
`+
LL | | -1.0 / 0.0 => [ false, true, false, false, false, true]
`
``
55
`+
LL | | }
`
``
56
`+
| |_- in this macro invocation
`
``
57
`+
|
`
``
58
`` +
note: required for bool to implement PartialEq<NonDet>
``
``
59
`+
--> $DIR/const-float-classify.rs:12:12
`
``
60
`+
|
`
``
61
`+
LL | impl const PartialEq for bool {
`
``
62
`+
| ----- ^^^^^^^^^^^^^^^^^ ^^^^
`
``
63
`+
| |
`
``
64
`+
| unsatisfied trait bound introduced here
`
``
65
`` +
= note: this error originates in the macro const_assert which comes from the expansion of the macro suite (in Nightly builds, run with -Z macro-backtrace for more info)
``
``
66
+
``
67
`+
error[E0284]: type annotations needed
`
``
68
`+
--> $DIR/const-float-classify.rs:21:35
`
``
69
`+
|
`
``
70
`+
LL | const _: () = assert!($a == $b);
`
``
71
`` +
| ^^ cannot infer the value of the constant _
``
``
72
`+
...
`
``
73
`+
LL | / suite! {
`
``
74
`+
LL | | [is_nan, is_infinite, is_finite, is_normal, is_sign_positive, is_sign_negative]
`
``
75
`+
LL | | -0.0 / 0.0 => [ true, false, false, false, NonDet, NonDet]
`
``
76
`+
LL | | 0.0 / 0.0 => [ true, false, false, false, NonDet, NonDet]
`
``
77
`+
... |
`
``
78
`+
LL | | -1.0 / 0.0 => [ false, true, false, false, false, true]
`
``
79
`+
LL | | }
`
``
80
`+
| |_- in this macro invocation
`
``
81
`+
|
`
``
82
`` +
note: required for bool to implement PartialEq<NonDet>
``
``
83
`+
--> $DIR/const-float-classify.rs:12:12
`
``
84
`+
|
`
``
85
`+
LL | impl const PartialEq for bool {
`
``
86
`+
| ----- ^^^^^^^^^^^^^^^^^ ^^^^
`
``
87
`+
| |
`
``
88
`+
| unsatisfied trait bound introduced here
`
``
89
`` +
= note: this error originates in the macro const_assert which comes from the expansion of the macro suite (in Nightly builds, run with -Z macro-backtrace for more info)
``
``
90
+
``
91
`+
error[E0284]: type annotations needed
`
``
92
`+
--> $DIR/const-float-classify.rs:21:35
`
``
93
`+
|
`
``
94
`+
LL | const _: () = assert!($a == $b);
`
``
95
`` +
| ^^ cannot infer the value of the constant _
``
``
96
`+
...
`
``
97
`+
LL | / suite! {
`
``
98
`+
LL | | [is_nan, is_infinite, is_finite, is_normal, is_sign_positive, is_sign_negative]
`
``
99
`+
LL | | -0.0 / 0.0 => [ true, false, false, false, NonDet, NonDet]
`
``
100
`+
LL | | 0.0 / 0.0 => [ true, false, false, false, NonDet, NonDet]
`
``
101
`+
... |
`
``
102
`+
LL | | -1.0 / 0.0 => [ false, true, false, false, false, true]
`
``
103
`+
LL | | }
`
``
104
`+
| |_- in this macro invocation
`
``
105
`+
|
`
``
106
`` +
note: required for bool to implement PartialEq<NonDet>
``
``
107
`+
--> $DIR/const-float-classify.rs:12:12
`
``
108
`+
|
`
``
109
`+
LL | impl const PartialEq for bool {
`
``
110
`+
| ----- ^^^^^^^^^^^^^^^^^ ^^^^
`
``
111
`+
| |
`
``
112
`+
| unsatisfied trait bound introduced here
`
``
113
`` +
= note: this error originates in the macro const_assert which comes from the expansion of the macro suite (in Nightly builds, run with -Z macro-backtrace for more info)
``
``
114
+
``
115
`+
error[E0284]: type annotations needed
`
``
116
`+
--> $DIR/const-float-classify.rs:21:35
`
``
117
`+
|
`
``
118
`+
LL | const _: () = assert!($a == $b);
`
``
119
`` +
| ^^ cannot infer the value of the constant _
``
``
120
`+
...
`
``
121
`+
LL | / suite! {
`
``
122
`+
LL | | [is_nan, is_infinite, is_finite, is_normal, is_sign_positive, is_sign_negative]
`
``
123
`+
LL | | -0.0 / 0.0 => [ true, false, false, false, NonDet, NonDet]
`
``
124
`+
LL | | 0.0 / 0.0 => [ true, false, false, false, NonDet, NonDet]
`
``
125
`+
... |
`
``
126
`+
LL | | -1.0 / 0.0 => [ false, true, false, false, false, true]
`
``
127
`+
LL | | }
`
``
128
`+
| |_- in this macro invocation
`
``
129
`+
|
`
``
130
`` +
note: required for bool to implement PartialEq<NonDet>
``
``
131
`+
--> $DIR/const-float-classify.rs:12:12
`
``
132
`+
|
`
``
133
`+
LL | impl const PartialEq for bool {
`
``
134
`+
| ----- ^^^^^^^^^^^^^^^^^ ^^^^
`
``
135
`+
| |
`
``
136
`+
| unsatisfied trait bound introduced here
`
``
137
`` +
= note: this error originates in the macro const_assert which comes from the expansion of the macro suite (in Nightly builds, run with -Z macro-backtrace for more info)
``
``
138
+
``
139
`+
error[E0284]: type annotations needed
`
``
140
`+
--> $DIR/const-float-classify.rs:21:35
`
``
141
`+
|
`
``
142
`+
LL | const _: () = assert!($a == $b);
`
``
143
`` +
| ^^ cannot infer the value of the constant _
``
``
144
`+
...
`
``
145
`+
LL | / suite! {
`
``
146
`+
LL | | [is_nan, is_infinite, is_finite, is_normal, is_sign_positive, is_sign_negative]
`
``
147
`+
LL | | -0.0 / 0.0 => [ true, false, false, false, NonDet, NonDet]
`
``
148
`+
LL | | 0.0 / 0.0 => [ true, false, false, false, NonDet, NonDet]
`
``
149
`+
... |
`
``
150
`+
LL | | -1.0 / 0.0 => [ false, true, false, false, false, true]
`
``
151
`+
LL | | }
`
``
152
`+
| |_- in this macro invocation
`
``
153
`+
|
`
``
154
`` +
note: required for bool to implement PartialEq<NonDet>
``
``
155
`+
--> $DIR/const-float-classify.rs:12:12
`
``
156
`+
|
`
``
157
`+
LL | impl const PartialEq for bool {
`
``
158
`+
| ----- ^^^^^^^^^^^^^^^^^ ^^^^
`
``
159
`+
| |
`
``
160
`+
| unsatisfied trait bound introduced here
`
``
161
`` +
= note: this error originates in the macro const_assert which comes from the expansion of the macro suite (in Nightly builds, run with -Z macro-backtrace for more info)
``
``
162
+
``
163
`+
error[E0284]: type annotations needed
`
``
164
`+
--> $DIR/const-float-classify.rs:21:35
`
``
165
`+
|
`
``
166
`+
LL | const _: () = assert!($a == $b);
`
``
167
`` +
| ^^ cannot infer the value of the constant _
``
``
168
`+
...
`
``
169
`+
LL | / suite! {
`
``
170
`+
LL | | [is_nan, is_infinite, is_finite, is_normal, is_sign_positive, is_sign_negative]
`
``
171
`+
LL | | -0.0 / 0.0 => [ true, false, false, false, NonDet, NonDet]
`
``
172
`+
LL | | 0.0 / 0.0 => [ true, false, false, false, NonDet, NonDet]
`
``
173
`+
... |
`
``
174
`+
LL | | -1.0 / 0.0 => [ false, true, false, false, false, true]
`
``
175
`+
LL | | }
`
``
176
`+
| |_- in this macro invocation
`
``
177
`+
|
`
``
178
`` +
note: required for bool to implement PartialEq<NonDet>
``
``
179
`+
--> $DIR/const-float-classify.rs:12:12
`
``
180
`+
|
`
``
181
`+
LL | impl const PartialEq for bool {
`
``
182
`+
| ----- ^^^^^^^^^^^^^^^^^ ^^^^
`
``
183
`+
| |
`
``
184
`+
| unsatisfied trait bound introduced here
`
``
185
`` +
= note: this error originates in the macro const_assert which comes from the expansion of the macro suite (in Nightly builds, run with -Z macro-backtrace for more info)
``
``
186
+
``
187
`+
error[E0284]: type annotations needed
`
``
188
`+
--> $DIR/const-float-classify.rs:21:35
`
``
189
`+
|
`
``
190
`+
LL | const _: () = assert!($a == $b);
`
``
191
`` +
| ^^ cannot infer the value of the constant _
``
``
192
`+
...
`
``
193
`+
LL | / suite! {
`
``
194
`+
LL | | [is_nan, is_infinite, is_finite, is_normal, is_sign_positive, is_sign_negative]
`
``
195
`+
LL | | -0.0 / 0.0 => [ true, false, false, false, NonDet, NonDet]
`
``
196
`+
LL | | 0.0 / 0.0 => [ true, false, false, false, NonDet, NonDet]
`
``
197
`+
... |
`
``
198
`+
LL | | -1.0 / 0.0 => [ false, true, false, false, false, true]
`
``
199
`+
LL | | }
`
``
200
`+
| |_- in this macro invocation
`
``
201
`+
|
`
``
202
`` +
note: required for bool to implement PartialEq<NonDet>
``
``
203
`+
--> $DIR/const-float-classify.rs:12:12
`
``
204
`+
|
`
``
205
`+
LL | impl const PartialEq for bool {
`
``
206
`+
| ----- ^^^^^^^^^^^^^^^^^ ^^^^
`
``
207
`+
| |
`
``
208
`+
| unsatisfied trait bound introduced here
`
``
209
`` +
= note: this error originates in the macro const_assert which comes from the expansion of the macro suite (in Nightly builds, run with -Z macro-backtrace for more info)
``
``
210
+
``
211
`+
error: aborting due to 10 previous errors
`
``
212
+
``
213
`+
Some errors have detailed explanations: E0207, E0284.
`
``
214
`` +
For more information about an error, try rustc --explain E0207.
``