Mirrors/rust
1
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2026-04-27 18:57:42 +03:00
Code Issues Packages Projects Releases Wiki Activity

Rollup merge of #154930 - oli-obk:revert-const-check, r=chenyukang

Browse Source 
Revert performing basic const checks in typeck on stable

Revert rust-lang/rust#149375, it caused a (desirable, but unintended) change where we now emit errors about constants in dead code. This was due to mir never seeing dead code, so no const checks being run on it. But typeck sees all written code and will check it.

We'll land this again, with a proper types FCP and everything

fixes https://github.com/rust-lang/rust/issues/153765

see [#t-types/nominated > #153765: 1.95 beta regression: trait method calls in dead c…](https://rust-lang.zulipchat.com/#narrow/channel/326866-t-types.2Fnominated/topic/.23153765.3A.201.2E95.20beta.20regression.3A.20trait.20method.20calls.20in.20dead.20c.E2.80.A6/with/580203072) for discussions
This commit is contained in:
Jonathan Brouwer
2026-04-09 18:11:27 +02:00
committed by GitHub
parent 8ad51e9702 d37d2be395
commit db99e16ae3
41 changed files with 230 additions and 344 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/rustc_hir_typeck/src/callee.rs
+8
View File
@@ -921,6 +921,14 @@ pub(super) fn enforce_context_effects(
callee_did: DefId,
callee_args: GenericArgsRef<'tcx>,
) {
// FIXME(const_trait_impl): We should be enforcing these effects unconditionally.
// This can be done as soon as we convert the standard library back to
// using const traits, since if we were to enforce these conditions now,
// we'd fail on basically every builtin trait call (i.e. `1 + 2`).
if !self.tcx.features().const_trait_impl() {
return;
}
// If we have `rustc_do_not_const_check`, do not check `[const]` bounds.
if self.has_rustc_attrs && find_attr!(self.tcx, self.body_id, RustcDoNotConstCheck) {
return;
tests/crashes/137187.rs
+2 -5
View File
@@ -1,13 +1,10 @@
//@ known-bug: #137187
#![feature(const_trait_impl, const_ops)]
use std::ops::Add;
const trait A where
*const Self: const Add,
*const Self: Add,
{
fn b(c: *const Self) -> <*const Self as Add>::Output {
c + c
}
}
fn main() {}
tests/ui/coercion/coerce-loop-issue-122561.rs
-8
View File
@@ -42,8 +42,6 @@ fn for_never_type() -> ! {
// that it's readable
fn for_in_arg(a: &[(); for x in 0..2 {}]) -> bool {
//~^ ERROR mismatched types
//~| ERROR `std::ops::Range<{integer}>: const Iterator` is not satisfied
//~| ERROR `std::ops::Range<{integer}>: const Iterator` is not satisfied
true
}
@@ -88,8 +86,6 @@ fn loop_() -> bool {
const C: i32 = {
for i in 0.. {
//~^ ERROR mismatched types
//~| ERROR `std::ops::RangeFrom<{integer}>: const Iterator` is not satisfied
//~| ERROR `std::ops::RangeFrom<{integer}>: const Iterator` is not satisfied
}
};
@@ -97,8 +93,6 @@ fn main() {
let _ = [10; {
for i in 0..5 {
//~^ ERROR mismatched types
//~| ERROR `std::ops::Range<{integer}>: const Iterator` is not satisfied
//~| ERROR `std::ops::Range<{integer}>: const Iterator` is not satisfied
}
}];
@@ -111,6 +105,4 @@ fn main() {
let _ = |a: &[(); for x in 0..2 {}]| {};
//~^ ERROR mismatched types
//~| ERROR `std::ops::Range<{integer}>: const Iterator` is not satisfied
//~| ERROR `std::ops::Range<{integer}>: const Iterator` is not satisfied
}
tests/ui/coercion/coerce-loop-issue-122561.stderr
+14 -91
View File
@@ -1,5 +1,5 @@
warning: denote infinite loops with `loop { ... }`
--> $DIR/coerce-loop-issue-122561.rs:51:5
--> $DIR/coerce-loop-issue-122561.rs:49:5
|
LL | while true {
| ^^^^^^^^^^ help: use `loop`
@@ -7,30 +7,11 @@ LL | while true {
= note: `#[warn(while_true)]` on by default
warning: denote infinite loops with `loop { ... }`
--> $DIR/coerce-loop-issue-122561.rs:75:5
--> $DIR/coerce-loop-issue-122561.rs:73:5
|
LL | while true {
| ^^^^^^^^^^ help: use `loop`
error[E0277]: the trait bound `std::ops::Range<{integer}>: const Iterator` is not satisfied
--> $DIR/coerce-loop-issue-122561.rs:43:33
|
LL | fn for_in_arg(a: &[(); for x in 0..2 {}]) -> bool {
| ^^^^ required by a bound introduced by this call
|
note: trait `Iterator` is implemented but not `const`
--> $SRC_DIR/core/src/iter/range.rs:LL:COL
= note: required for `std::ops::Range<{integer}>` to implement `const IntoIterator`
error[E0277]: the trait bound `std::ops::Range<{integer}>: const Iterator` is not satisfied
--> $DIR/coerce-loop-issue-122561.rs:43:33
|
LL | fn for_in_arg(a: &[(); for x in 0..2 {}]) -> bool {
| ^^^^
|
note: trait `Iterator` is implemented but not `const`
--> $SRC_DIR/core/src/iter/range.rs:LL:COL
error[E0308]: mismatched types
--> $DIR/coerce-loop-issue-122561.rs:43:24
|
@@ -131,7 +112,7 @@ LL | fn for_single_line() -> bool { for i in 0.. { return false; } /* `bool` val
| ++++++++++++++++++
error[E0308]: mismatched types
--> $DIR/coerce-loop-issue-122561.rs:51:5
--> $DIR/coerce-loop-issue-122561.rs:49:5
|
LL | fn while_inifinite() -> bool {
| ---- expected `bool` because of return type
@@ -150,7 +131,7 @@ LL + /* `bool` value */
|
error[E0308]: mismatched types
--> $DIR/coerce-loop-issue-122561.rs:60:5
--> $DIR/coerce-loop-issue-122561.rs:58:5
|
LL | fn while_finite() -> bool {
| ---- expected `bool` because of return type
@@ -170,7 +151,7 @@ LL + /* `bool` value */
|
error[E0308]: mismatched types
--> $DIR/coerce-loop-issue-122561.rs:68:5
--> $DIR/coerce-loop-issue-122561.rs:66:5
|
LL | fn while_zero_times() -> bool {
| ---- expected `bool` because of return type
@@ -188,7 +169,7 @@ LL + /* `bool` value */
|
error[E0308]: mismatched types
--> $DIR/coerce-loop-issue-122561.rs:75:5
--> $DIR/coerce-loop-issue-122561.rs:73:5
|
LL | fn while_never_type() -> ! {
| - expected `!` because of return type
@@ -206,30 +187,11 @@ LL ~ }
LL + /* `loop {}` or `panic!("...")` */
|
error[E0277]: the trait bound `std::ops::RangeFrom<{integer}>: const Iterator` is not satisfied
--> $DIR/coerce-loop-issue-122561.rs:89:14
|
LL | for i in 0.. {
| ^^^ required by a bound introduced by this call
|
note: trait `Iterator` is implemented but not `const`
--> $SRC_DIR/core/src/iter/range.rs:LL:COL
= note: required for `std::ops::RangeFrom<{integer}>` to implement `const IntoIterator`
error[E0277]: the trait bound `std::ops::RangeFrom<{integer}>: const Iterator` is not satisfied
--> $DIR/coerce-loop-issue-122561.rs:89:14
|
LL | for i in 0.. {
| ^^^
|
note: trait `Iterator` is implemented but not `const`
--> $SRC_DIR/core/src/iter/range.rs:LL:COL
error[E0308]: mismatched types
--> $DIR/coerce-loop-issue-122561.rs:89:5
--> $DIR/coerce-loop-issue-122561.rs:87:5
|
LL | / for i in 0.. {
... |
LL | |
LL | | }
| |_____^ expected `i32`, found `()`
|
@@ -240,30 +202,11 @@ LL ~ }
LL + /* `i32` value */
|
error[E0277]: the trait bound `std::ops::Range<{integer}>: const Iterator` is not satisfied
--> $DIR/coerce-loop-issue-122561.rs:98:18
|
LL | for i in 0..5 {
| ^^^^ required by a bound introduced by this call
|
note: trait `Iterator` is implemented but not `const`
--> $SRC_DIR/core/src/iter/range.rs:LL:COL
= note: required for `std::ops::Range<{integer}>` to implement `const IntoIterator`
error[E0277]: the trait bound `std::ops::Range<{integer}>: const Iterator` is not satisfied
--> $DIR/coerce-loop-issue-122561.rs:98:18
|
LL | for i in 0..5 {
| ^^^^
|
note: trait `Iterator` is implemented but not `const`
--> $SRC_DIR/core/src/iter/range.rs:LL:COL
error[E0308]: mismatched types
--> $DIR/coerce-loop-issue-122561.rs:98:9
--> $DIR/coerce-loop-issue-122561.rs:94:9
|
LL | / for i in 0..5 {
... |
LL | |
LL | | }
| |_________^ expected `usize`, found `()`
|
@@ -275,7 +218,7 @@ LL + /* `usize` value */
|
error[E0308]: mismatched types
--> $DIR/coerce-loop-issue-122561.rs:106:9
--> $DIR/coerce-loop-issue-122561.rs:100:9
|
LL | / while false {
LL | |
@@ -289,27 +232,8 @@ LL ~ }
LL + /* `usize` value */
|
error[E0277]: the trait bound `std::ops::Range<{integer}>: const Iterator` is not satisfied
--> $DIR/coerce-loop-issue-122561.rs:112:32
|
LL | let _ = |a: &[(); for x in 0..2 {}]| {};
| ^^^^ required by a bound introduced by this call
|
note: trait `Iterator` is implemented but not `const`
--> $SRC_DIR/core/src/iter/range.rs:LL:COL
= note: required for `std::ops::Range<{integer}>` to implement `const IntoIterator`
error[E0277]: the trait bound `std::ops::Range<{integer}>: const Iterator` is not satisfied
--> $DIR/coerce-loop-issue-122561.rs:112:32
|
LL | let _ = |a: &[(); for x in 0..2 {}]| {};
| ^^^^
|
note: trait `Iterator` is implemented but not `const`
--> $SRC_DIR/core/src/iter/range.rs:LL:COL
error[E0308]: mismatched types
--> $DIR/coerce-loop-issue-122561.rs:112:23
--> $DIR/coerce-loop-issue-122561.rs:106:23
|
LL | let _ = |a: &[(); for x in 0..2 {}]| {};
| ^^^^^^^^^^^^^^^^ expected `usize`, found `()`
@@ -320,7 +244,6 @@ help: consider returning a value here
LL | let _ = |a: &[(); for x in 0..2 {} /* `usize` value */]| {};
| +++++++++++++++++++
error: aborting due to 22 previous errors; 2 warnings emitted
error: aborting due to 14 previous errors; 2 warnings emitted
Some errors have detailed explanations: E0277, E0308.
For more information about an error, try `rustc --explain E0277`.
For more information about this error, try `rustc --explain E0308`.
tests/ui/consts/const-eval/const_raw_ptr_ops.stable.stderr
+2 -7
View File
@@ -1,23 +1,18 @@
error[E0277]: pointers cannot be reliably compared during const eval
error: pointers cannot be reliably compared during const eval
--> $DIR/const_raw_ptr_ops.rs:7:26
|
LL | const X: bool = unsafe { &1 as *const i32 == &2 as *const i32 };
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
note: trait `PartialEq` is implemented but not `const`
--> $SRC_DIR/core/src/ptr/const_ptr.rs:LL:COL
= note: see issue #53020 <https://github.com/rust-lang/rust/issues/53020> for more information
error[E0277]: pointers cannot be reliably compared during const eval
error: pointers cannot be reliably compared during const eval
--> $DIR/const_raw_ptr_ops.rs:9:27
|
LL | const X2: bool = unsafe { 42 as *const i32 == 43 as *const i32 };
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
note: trait `PartialEq` is implemented but not `const`
--> $SRC_DIR/core/src/ptr/const_ptr.rs:LL:COL
= note: see issue #53020 <https://github.com/rust-lang/rust/issues/53020> for more information
error: aborting due to 2 previous errors
For more information about this error, try `rustc --explain E0277`.
tests/ui/consts/const-fn-error.rs
+2 -2
View File
@@ -3,8 +3,8 @@
const fn f(x: usize) -> usize {
let mut sum = 0;
for i in 0..x {
//~^ ERROR `std::ops::Range<usize>: [const] Iterator` is not satisfied
//~| ERROR `std::ops::Range<usize>: [const] Iterator` is not satisfied
//~^ ERROR cannot use `for`
//~| ERROR cannot use `for`
sum += i;
}
sum
tests/ui/consts/const-fn-error.stderr
+12 -14
View File
@@ -1,22 +1,20 @@
error[E0277]: the trait bound `std::ops::Range<usize>: [const] Iterator` is not satisfied
--> $DIR/const-fn-error.rs:5:14
|
LL | for i in 0..x {
| ^^^^ required by a bound introduced by this call
|
note: trait `Iterator` is implemented but not `const`
--> $SRC_DIR/core/src/iter/range.rs:LL:COL
= note: required for `std::ops::Range<usize>` to implement `[const] IntoIterator`
error[E0277]: the trait bound `std::ops::Range<usize>: [const] Iterator` is not satisfied
error[E0015]: cannot use `for` loop on `std::ops::Range<usize>` in constant functions
--> $DIR/const-fn-error.rs:5:14
|
LL | for i in 0..x {
| ^^^^
|
note: trait `Iterator` is implemented but not `const`
--> $SRC_DIR/core/src/iter/range.rs:LL:COL
= note: calls in constant functions are limited to constant functions, tuple structs and tuple variants
error[E0015]: cannot use `for` loop on `std::ops::Range<usize>` in constant functions
--> $DIR/const-fn-error.rs:5:14
|
LL | for i in 0..x {
| ^^^^
|
= note: calls in constant functions are limited to constant functions, tuple structs and tuple variants
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
error: aborting due to 2 previous errors
For more information about this error, try `rustc --explain E0277`.
For more information about this error, try `rustc --explain E0015`.
tests/ui/consts/const-for-feature-gate.rs
+2 -2
View File
@@ -2,8 +2,8 @@
const _: () = {
for _ in 0..5 {}
//~^ ERROR `std::ops::Range<{integer}>: const Iterator` is not satisfied
//~| ERROR `std::ops::Range<{integer}>: const Iterator` is not satisfied
//~^ ERROR cannot use `for`
//~| ERROR cannot use `for`
};
fn main() {}
tests/ui/consts/const-for-feature-gate.stderr
+12 -14
View File
@@ -1,22 +1,20 @@
error[E0277]: the trait bound `std::ops::Range<{integer}>: const Iterator` is not satisfied
--> $DIR/const-for-feature-gate.rs:4:14
|
LL | for _ in 0..5 {}
| ^^^^ required by a bound introduced by this call
|
note: trait `Iterator` is implemented but not `const`
--> $SRC_DIR/core/src/iter/range.rs:LL:COL
= note: required for `std::ops::Range<{integer}>` to implement `const IntoIterator`
error[E0277]: the trait bound `std::ops::Range<{integer}>: const Iterator` is not satisfied
error[E0015]: cannot use `for` loop on `std::ops::Range<i32>` in constants
--> $DIR/const-for-feature-gate.rs:4:14
|
LL | for _ in 0..5 {}
| ^^^^
|
note: trait `Iterator` is implemented but not `const`
--> $SRC_DIR/core/src/iter/range.rs:LL:COL
= note: calls in constants are limited to constant functions, tuple structs and tuple variants
error[E0015]: cannot use `for` loop on `std::ops::Range<i32>` in constants
--> $DIR/const-for-feature-gate.rs:4:14
|
LL | for _ in 0..5 {}
| ^^^^
|
= note: calls in constants are limited to constant functions, tuple structs and tuple variants
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
error: aborting due to 2 previous errors
For more information about this error, try `rustc --explain E0277`.
For more information about this error, try `rustc --explain E0015`.
tests/ui/consts/const-for.rs
+2 -2
View File
@@ -2,8 +2,8 @@
const _: () = {
for _ in 0..5 {}
//~^ ERROR `std::ops::Range<{integer}>: const Iterator` is not satisfied
//~| ERROR `std::ops::Range<{integer}>: const Iterator` is not satisfied
//~^ ERROR cannot use `for`
//~| ERROR cannot use `for`
};
fn main() {}
tests/ui/consts/const-for.stderr
+12 -14
View File
@@ -1,22 +1,20 @@
error[E0277]: the trait bound `std::ops::Range<{integer}>: const Iterator` is not satisfied
--> $DIR/const-for.rs:4:14
|
LL | for _ in 0..5 {}
| ^^^^ required by a bound introduced by this call
|
note: trait `Iterator` is implemented but not `const`
--> $SRC_DIR/core/src/iter/range.rs:LL:COL
= note: required for `std::ops::Range<{integer}>` to implement `const IntoIterator`
error[E0277]: the trait bound `std::ops::Range<{integer}>: const Iterator` is not satisfied
error[E0015]: cannot use `for` loop on `std::ops::Range<i32>` in constants
--> $DIR/const-for.rs:4:14
|
LL | for _ in 0..5 {}
| ^^^^
|
note: trait `Iterator` is implemented but not `const`
--> $SRC_DIR/core/src/iter/range.rs:LL:COL
= note: calls in constants are limited to constant functions, tuple structs and tuple variants
error[E0015]: cannot use `for` loop on `std::ops::Range<i32>` in constants
--> $DIR/const-for.rs:4:14
|
LL | for _ in 0..5 {}
| ^^^^
|
= note: calls in constants are limited to constant functions, tuple structs and tuple variants
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
error: aborting due to 2 previous errors
For more information about this error, try `rustc --explain E0277`.
For more information about this error, try `rustc --explain E0015`.
tests/ui/consts/control-flow/loop.rs
+4 -4
View File
@@ -51,14 +51,14 @@ fn main() {
let mut x = 0;
for i in 0..4 {
//~^ ERROR: `std::ops::Range<{integer}>: const Iterator` is not satisfied
//~| ERROR: `std::ops::Range<{integer}>: const Iterator` is not satisfied
//~^ ERROR: cannot use `for`
//~| ERROR: cannot use `for`
x += i;
}
for i in 0..4 {
//~^ ERROR: `std::ops::Range<{integer}>: const Iterator` is not satisfied
//~| ERROR: `std::ops::Range<{integer}>: const Iterator` is not satisfied
//~^ ERROR: cannot use `for`
//~| ERROR: cannot use `for`
x += i;
}
tests/ui/consts/control-flow/loop.stderr
+19 -23
View File
@@ -1,41 +1,37 @@
error[E0277]: the trait bound `std::ops::Range<{integer}>: const Iterator` is not satisfied
--> $DIR/loop.rs:53:14
|
LL | for i in 0..4 {
| ^^^^ required by a bound introduced by this call
|
note: trait `Iterator` is implemented but not `const`
--> $SRC_DIR/core/src/iter/range.rs:LL:COL
= note: required for `std::ops::Range<{integer}>` to implement `const IntoIterator`
error[E0277]: the trait bound `std::ops::Range<{integer}>: const Iterator` is not satisfied
error[E0015]: cannot use `for` loop on `std::ops::Range<i32>` in constants
--> $DIR/loop.rs:53:14
|
LL | for i in 0..4 {
| ^^^^
|
note: trait `Iterator` is implemented but not `const`
--> $SRC_DIR/core/src/iter/range.rs:LL:COL
= note: calls in constants are limited to constant functions, tuple structs and tuple variants
error[E0277]: the trait bound `std::ops::Range<{integer}>: const Iterator` is not satisfied
--> $DIR/loop.rs:59:14
error[E0015]: cannot use `for` loop on `std::ops::Range<i32>` in constants
--> $DIR/loop.rs:53:14
|
LL | for i in 0..4 {
| ^^^^ required by a bound introduced by this call
| ^^^^
|
note: trait `Iterator` is implemented but not `const`
--> $SRC_DIR/core/src/iter/range.rs:LL:COL
= note: required for `std::ops::Range<{integer}>` to implement `const IntoIterator`
= note: calls in constants are limited to constant functions, tuple structs and tuple variants
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
error[E0277]: the trait bound `std::ops::Range<{integer}>: const Iterator` is not satisfied
error[E0015]: cannot use `for` loop on `std::ops::Range<i32>` in constants
--> $DIR/loop.rs:59:14
|
LL | for i in 0..4 {
| ^^^^
|
note: trait `Iterator` is implemented but not `const`
--> $SRC_DIR/core/src/iter/range.rs:LL:COL
= note: calls in constants are limited to constant functions, tuple structs and tuple variants
error[E0015]: cannot use `for` loop on `std::ops::Range<i32>` in constants
--> $DIR/loop.rs:59:14
|
LL | for i in 0..4 {
| ^^^^
|
= note: calls in constants are limited to constant functions, tuple structs and tuple variants
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
error: aborting due to 4 previous errors
For more information about this error, try `rustc --explain E0277`.
For more information about this error, try `rustc --explain E0015`.
tests/ui/consts/different-fn-ptr-binders-during-ctfe.stable.stderr
+1 -4
View File
@@ -1,13 +1,10 @@
error[E0277]: pointers cannot be reliably compared during const eval
error: pointers cannot be reliably compared during const eval
--> $DIR/different-fn-ptr-binders-during-ctfe.rs:5:5
|
LL | x == y
| ^^^^^^
|
note: trait `PartialEq` is implemented but not `const`
--> $SRC_DIR/core/src/ptr/mod.rs:LL:COL
= note: see issue #53020 <https://github.com/rust-lang/rust/issues/53020> for more information
error: aborting due to 1 previous error
For more information about this error, try `rustc --explain E0277`.
tests/ui/consts/issue-25826.stderr
+1 -4
View File
@@ -1,13 +1,10 @@
error[E0277]: pointers cannot be reliably compared during const eval
error: pointers cannot be reliably compared during const eval
--> $DIR/issue-25826.rs:3:30
|
LL | const A: bool = unsafe { id::<u8> as *const () < id::<u16> as *const () };
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
note: trait `PartialOrd` is implemented but not `const`
--> $SRC_DIR/core/src/ptr/const_ptr.rs:LL:COL
= note: see issue #53020 <https://github.com/rust-lang/rust/issues/53020> for more information
error: aborting due to 1 previous error
For more information about this error, try `rustc --explain E0277`.
tests/ui/consts/min_const_fn/cmp_fn_pointers.stderr
+1 -4
View File
@@ -1,13 +1,10 @@
error[E0277]: pointers cannot be reliably compared during const eval
error: pointers cannot be reliably compared during const eval
--> $DIR/cmp_fn_pointers.rs:2:14
|
LL | unsafe { x == y }
| ^^^^^^
|
note: trait `PartialEq` is implemented but not `const`
--> $SRC_DIR/core/src/ptr/mod.rs:LL:COL
= note: see issue #53020 <https://github.com/rust-lang/rust/issues/53020> for more information
error: aborting due to 1 previous error
For more information about this error, try `rustc --explain E0277`.
tests/ui/diagnostic_namespace/on_const/it_works_foreign.rs
+3 -5
View File
@@ -8,9 +8,7 @@
const _: () = {
let x = X;
x == x;
//~^ ERROR: their message
//~| NOTE: their label
//~| NOTE: trait `PartialEq` is implemented but not `const`
//~| NOTE: their note
//~| NOTE: their other note
//~^ ERROR: cannot call non-const operator in constants
//~| NOTE: impl defined here, but it is not `const`
//~| NOTE: limited to constant functions
};
tests/ui/diagnostic_namespace/on_const/it_works_foreign.stderr
+5 -6
View File
@@ -1,17 +1,16 @@
error[E0277]: their message
error[E0015]: cannot call non-const operator in constants
--> $DIR/it_works_foreign.rs:10:5
|
LL | x == x;
| ^^^^^^ their label
| ^^^^^^
|
note: trait `PartialEq` is implemented but not `const`
note: impl defined here, but it is not `const`
--> $DIR/auxiliary/non_const_impl.rs:11:1
|
LL | impl PartialEq for X {
| ^^^^^^^^^^^^^^^^^^^^
= note: their note
= note: their other note
= note: calls in constants are limited to constant functions, tuple structs and tuple variants
error: aborting due to 1 previous error
For more information about this error, try `rustc --explain E0277`.
For more information about this error, try `rustc --explain E0015`.
tests/ui/diagnostic_namespace/on_const/it_works_local.rs
+3 -4
View File
@@ -10,6 +10,7 @@
note = "my other note"
)]
impl PartialEq for X {
//~^ NOTE: impl defined here, but it is not `const`
fn eq(&self, _other: &X) -> bool {
true
}
@@ -18,8 +19,6 @@ fn eq(&self, _other: &X) -> bool {
const _: () = {
let x = X;
x == x;
//~^ ERROR: my message
//~| NOTE: my label
//~| NOTE: my note
//~| NOTE: my other note
//~^ ERROR: cannot call non-const operator in constants
//~| NOTE: limited to constant functions
};
tests/ui/diagnostic_namespace/on_const/it_works_local.stderr
+10 -6
View File
@@ -1,12 +1,16 @@
error[E0277]: my message
--> $DIR/it_works_local.rs:20:5
error[E0015]: cannot call non-const operator in constants
--> $DIR/it_works_local.rs:21:5
|
LL | x == x;
| ^^^^^^ my label
| ^^^^^^
|
= note: my note
= note: my other note
note: impl defined here, but it is not `const`
--> $DIR/it_works_local.rs:12:1
|
LL | impl PartialEq for X {
| ^^^^^^^^^^^^^^^^^^^^
= note: calls in constants are limited to constant functions, tuple structs and tuple variants
error: aborting due to 1 previous error
For more information about this error, try `rustc --explain E0277`.
For more information about this error, try `rustc --explain E0015`.
tests/ui/feature-gates/feature-gate-diagnostic-on-const.rs
+1 -1
View File
@@ -10,7 +10,7 @@
const fn foo() {
Foo == Foo;
//~^ ERROR: the trait bound `Foo: [const] PartialEq` is not satisfied
//~^ ERROR: cannot call non-const operator in constant functions
}
fn main() {}
tests/ui/feature-gates/feature-gate-diagnostic-on-const.stderr
+4 -3
View File
@@ -1,15 +1,16 @@
error[E0277]: the trait bound `Foo: [const] PartialEq` is not satisfied
error[E0015]: cannot call non-const operator in constant functions
--> $DIR/feature-gate-diagnostic-on-const.rs:12:5
|
LL | Foo == Foo;
| ^^^^^^^^^^
|
note: trait `PartialEq` is implemented but not `const`
note: impl defined here, but it is not `const`
--> $DIR/auxiliary/diagnostic-on-const.rs:4:1
|
LL | impl PartialEq for Foo {
| ^^^^^^^^^^^^^^^^^^^^^^
= note: calls in constant functions are limited to constant functions, tuple structs and tuple variants
error: aborting due to 1 previous error
For more information about this error, try `rustc --explain E0277`.
For more information about this error, try `rustc --explain E0015`.
tests/ui/mismatched_types/for-loop-in-vec-type-mismatchrs-50585.rs
-2
View File
@@ -2,6 +2,4 @@
fn main() {
|y: Vec<[(); for x in 0..2 {}]>| {};
//~^ ERROR mismatched types
//~| ERROR `std::ops::Range<{integer}>: const Iterator` is not satisfied
//~| ERROR `std::ops::Range<{integer}>: const Iterator` is not satisfied
}
tests/ui/mismatched_types/for-loop-in-vec-type-mismatchrs-50585.stderr
+2 -22
View File
@@ -1,22 +1,3 @@
error[E0277]: the trait bound `std::ops::Range<{integer}>: const Iterator` is not satisfied
--> $DIR/for-loop-in-vec-type-mismatchrs-50585.rs:3:27
|
LL | |y: Vec<[(); for x in 0..2 {}]>| {};
| ^^^^ required by a bound introduced by this call
|
note: trait `Iterator` is implemented but not `const`
--> $SRC_DIR/core/src/iter/range.rs:LL:COL
= note: required for `std::ops::Range<{integer}>` to implement `const IntoIterator`
error[E0277]: the trait bound `std::ops::Range<{integer}>: const Iterator` is not satisfied
--> $DIR/for-loop-in-vec-type-mismatchrs-50585.rs:3:27
|
LL | |y: Vec<[(); for x in 0..2 {}]>| {};
| ^^^^
|
note: trait `Iterator` is implemented but not `const`
--> $SRC_DIR/core/src/iter/range.rs:LL:COL
error[E0308]: mismatched types
--> $DIR/for-loop-in-vec-type-mismatchrs-50585.rs:3:18
|
@@ -29,7 +10,6 @@ help: consider returning a value here
LL | |y: Vec<[(); for x in 0..2 {} /* `usize` value */]>| {};
| +++++++++++++++++++
error: aborting due to 3 previous errors
error: aborting due to 1 previous error
Some errors have detailed explanations: E0277, E0308.
For more information about an error, try `rustc --explain E0277`.
For more information about this error, try `rustc --explain E0308`.
tests/ui/never_type/regress/loop-in-array-length.rs
+2 -2
View File
@@ -9,6 +9,6 @@ fn main() {
//~^ WARN denote infinite loops with
[(); { for _ in 0usize.. {}; 0}];
//~^ ERROR `std::ops::RangeFrom<usize>: const Iterator` is not satisfied
//~| ERROR `std::ops::RangeFrom<usize>: const Iterator` is not satisfied
//~^ ERROR cannot use `for`
//~| ERROR cannot use `for`
}
tests/ui/never_type/regress/loop-in-array-length.stderr
+13 -15
View File
@@ -32,26 +32,24 @@ help: give the `break` a value of the expected type
LL | [(); loop { break 42 }];
| ++
error[E0277]: the trait bound `std::ops::RangeFrom<usize>: const Iterator` is not satisfied
--> $DIR/loop-in-array-length.rs:11:21
|
LL | [(); { for _ in 0usize.. {}; 0}];
| ^^^^^^^^ required by a bound introduced by this call
|
note: trait `Iterator` is implemented but not `const`
--> $SRC_DIR/core/src/iter/range.rs:LL:COL
= note: required for `std::ops::RangeFrom<usize>` to implement `const IntoIterator`
error[E0277]: the trait bound `std::ops::RangeFrom<usize>: const Iterator` is not satisfied
error[E0015]: cannot use `for` loop on `std::ops::RangeFrom<usize>` in constants
--> $DIR/loop-in-array-length.rs:11:21
|
LL | [(); { for _ in 0usize.. {}; 0}];
| ^^^^^^^^
|
note: trait `Iterator` is implemented but not `const`
--> $SRC_DIR/core/src/iter/range.rs:LL:COL
= note: calls in constants are limited to constant functions, tuple structs and tuple variants
error[E0015]: cannot use `for` loop on `std::ops::RangeFrom<usize>` in constants
--> $DIR/loop-in-array-length.rs:11:21
|
LL | [(); { for _ in 0usize.. {}; 0}];
| ^^^^^^^^
|
= note: calls in constants are limited to constant functions, tuple structs and tuple variants
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
error: aborting due to 4 previous errors; 1 warning emitted
Some errors have detailed explanations: E0277, E0308.
For more information about an error, try `rustc --explain E0277`.
Some errors have detailed explanations: E0015, E0308.
For more information about an error, try `rustc --explain E0015`.
tests/ui/self/arbitrary-self-from-method-substs-ice.rs
+2 -1
View File
@@ -9,8 +9,9 @@
impl Foo {
const fn get<R: Deref<Target = Self>>(self: R) -> u32 {
//~^ ERROR invalid generic `self` parameter type
//~| ERROR destructor of `R` cannot be evaluated at compile-time
self.0
//~^ ERROR the trait bound `R: [const] Deref` is not satisfied
//~^ ERROR cannot perform non-const deref coercion on `R` in constant functions
}
}
tests/ui/self/arbitrary-self-from-method-substs-ice.stderr
+18 -6
View File
@@ -1,8 +1,20 @@
error[E0277]: the trait bound `R: [const] Deref` is not satisfied
--> $DIR/arbitrary-self-from-method-substs-ice.rs:12:9
error[E0015]: cannot perform non-const deref coercion on `R` in constant functions
--> $DIR/arbitrary-self-from-method-substs-ice.rs:13:9
|
LL | self.0
| ^^^^
| ^^^^^^
|
= note: attempting to deref into `Foo`
= note: calls in constant functions are limited to constant functions, tuple structs and tuple variants
error[E0493]: destructor of `R` cannot be evaluated at compile-time
--> $DIR/arbitrary-self-from-method-substs-ice.rs:10:43
|
LL | const fn get<R: Deref<Target = Self>>(self: R) -> u32 {
| ^^^^ the destructor for this type cannot be evaluated in constant functions
...
LL | }
| - value is dropped here
error[E0801]: invalid generic `self` parameter type: `R`
--> $DIR/arbitrary-self-from-method-substs-ice.rs:10:49
@@ -13,7 +25,7 @@ LL | const fn get<R: Deref<Target = Self>>(self: R) -> u32 {
= note: type of `self` must not be a method generic parameter type
= help: use a concrete type such as `self`, `&self`, `&mut self`, `self: Box<Self>`, `self: Rc<Self>`, `self: Arc<Self>`, or `self: Pin<P>` (where P is one of the previous types except `Self`)
error: aborting due to 2 previous errors
error: aborting due to 3 previous errors
Some errors have detailed explanations: E0277, E0801.
For more information about an error, try `rustc --explain E0277`.
Some errors have detailed explanations: E0015, E0493, E0801.
For more information about an error, try `rustc --explain E0015`.
tests/ui/statics/static-ref-deref-non-const-trait.rs
+1 -1
View File
@@ -4,7 +4,7 @@
struct B;
static S: &'static B = &A;
//~^ ERROR the trait bound `A: const Deref` is not satisfied
//~^ ERROR cannot perform non-const deref coercion
use std::ops::Deref;
tests/ui/statics/static-ref-deref-non-const-trait.stderr
+14 -5
View File
@@ -1,14 +1,23 @@
error[E0277]: the trait bound `A: const Deref` is not satisfied
error[E0015]: cannot perform non-const deref coercion on `A` in statics
--> $DIR/static-ref-deref-non-const-trait.rs:6:24
|
LL | static S: &'static B = &A;
| ^^
|
help: make the `impl` of trait `Deref` `const`
= note: attempting to deref into `B`
note: deref defined here
--> $DIR/static-ref-deref-non-const-trait.rs:12:5
|
LL | impl const Deref for A {
| +++++
LL | type Target = B;
| ^^^^^^^^^^^
note: impl defined here, but it is not `const`
--> $DIR/static-ref-deref-non-const-trait.rs:11:1
|
LL | impl Deref for A {
| ^^^^^^^^^^^^^^^^
= note: calls in statics are limited to constant functions, tuple structs and tuple variants
= note: consider wrapping this expression in `std::sync::LazyLock::new(|| ...)`
error: aborting due to 1 previous error
For more information about this error, try `rustc --explain E0277`.
For more information about this error, try `rustc --explain E0015`.
tests/ui/traits/const-traits/const_derives/derive-const-non-const-type.rs
+1 -1
View File
@@ -10,6 +10,6 @@ fn default() -> A {
#[derive_const(Default)]
pub struct S(A);
//~^ ERROR: `A: [const] Default` is not satisfied
//~^ ERROR: cannot call non-const associated function
fn main() {}
tests/ui/traits/const-traits/const_derives/derive-const-non-const-type.stderr
+3 -6
View File
@@ -1,4 +1,4 @@
error[E0277]: the trait bound `A: [const] Default` is not satisfied
error[E0015]: cannot call non-const associated function `<A as Default>::default` in constant functions
--> $DIR/derive-const-non-const-type.rs:12:14
|
LL | #[derive_const(Default)]
@@ -6,11 +6,8 @@ LL | #[derive_const(Default)]
LL | pub struct S(A);
| ^
|
help: make the `impl` of trait `Default` `const`
|
LL | impl const Default for A {
| +++++
= note: calls in constant functions are limited to constant functions, tuple structs and tuple variants
error: aborting due to 1 previous error
For more information about this error, try `rustc --explain E0277`.
For more information about this error, try `rustc --explain E0015`.
tests/ui/traits/const-traits/cross-crate.rs
+3 -2
View File
@@ -17,9 +17,10 @@ fn non_const_context() {
const fn const_context() {
#[cfg(any(stocknc, gatednc))]
NonConst.func();
//[stocknc,gatednc]~^ ERROR: the trait bound
//[stocknc]~^ ERROR: cannot call
//[gatednc]~^^ ERROR: the trait bound
Const.func();
//[stock]~^ ERROR: cannot call
//[stock,stocknc]~^ ERROR: cannot call
}
fn main() {}
tests/ui/traits/const-traits/cross-crate.stock.stderr
+1 -1
View File
@@ -1,5 +1,5 @@
error[E0658]: cannot call conditionally-const method `<cross_crate::Const as cross_crate::MyTrait>::func` in constant functions
--> $DIR/cross-crate.rs:21:11
--> $DIR/cross-crate.rs:22:11
|
LL | Const.func();
| ^^^^^^
tests/ui/traits/const-traits/cross-crate.stocknc.stderr
+16 -8
View File
@@ -1,15 +1,23 @@
error[E0277]: the trait bound `cross_crate::NonConst: [const] cross_crate::MyTrait` is not satisfied
error[E0015]: cannot call non-const method `<cross_crate::NonConst as cross_crate::MyTrait>::func` in constant functions
--> $DIR/cross-crate.rs:19:14
|
LL | NonConst.func();
| ^^^^
| ^^^^^^
|
note: trait `MyTrait` is implemented but not `const`
--> $DIR/auxiliary/cross-crate.rs:11:1
= note: calls in constant functions are limited to constant functions, tuple structs and tuple variants
error[E0658]: cannot call conditionally-const method `<cross_crate::Const as cross_crate::MyTrait>::func` in constant functions
--> $DIR/cross-crate.rs:22:11
|
LL | impl MyTrait for NonConst {
| ^^^^^^^^^^^^^^^^^^^^^^^^^
LL | Const.func();
| ^^^^^^
|
= note: calls in constant functions are limited to constant functions, tuple structs and tuple variants
= note: see issue #143874 <https://github.com/rust-lang/rust/issues/143874> for more information
= help: add `#![feature(const_trait_impl)]` to the crate attributes to enable
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
error: aborting due to 1 previous error
error: aborting due to 2 previous errors
For more information about this error, try `rustc --explain E0277`.
Some errors have detailed explanations: E0015, E0658.
For more information about an error, try `rustc --explain E0015`.
tests/ui/traits/const-traits/super-traits-fail-3.nyn.stderr
+6 -4
View File
@@ -83,13 +83,15 @@ help: enable `#![feature(const_trait_impl)]` in your crate and mark `Bar` as `co
LL | #[cfg(any(yyn, ynn, nyn, nnn))] const trait Bar: [const] Foo {}
| +++++
error[E0277]: the trait bound `T: [const] Foo` is not satisfied
error[E0015]: cannot call non-const method `<T as Foo>::a` in constant functions
--> $DIR/super-traits-fail-3.rs:38:7
|
LL | x.a();
| ^
| ^^^
|
= note: calls in constant functions are limited to constant functions, tuple structs and tuple variants
error: aborting due to 9 previous errors
Some errors have detailed explanations: E0277, E0658.
For more information about an error, try `rustc --explain E0277`.
Some errors have detailed explanations: E0015, E0658.
For more information about an error, try `rustc --explain E0015`.
tests/ui/traits/const-traits/super-traits-fail-3.rs
+2 -2
View File
@@ -36,8 +36,8 @@ const fn foo<T: [const] Bar>(x: &T) {
//[yyn,ynn,nyn,nnn]~| ERROR: `[const]` can only be applied to `const` traits
//[nyy,nyn,nny,nnn]~^^^ ERROR: const trait impls are experimental
x.a();
//[yyn,nyn]~^ ERROR: the trait bound `T: [const] Foo` is not satisfied
//[ynn,yny,nny,nnn]~^^ ERROR: cannot call non-const method `<T as Foo>::a` in constant functions
//[yyn]~^ ERROR: the trait bound `T: [const] Foo` is not satisfied
//[ynn,yny,nny,nnn,nyn]~^^ ERROR: cannot call non-const method `<T as Foo>::a` in constant functions
//[nyy]~^^^ ERROR: cannot call conditionally-const method `<T as Foo>::a` in constant functions
}
tests/ui/typeck/for-in-const-eval.rs
-2
View File
@@ -2,6 +2,4 @@
fn main() {
Vec::<[(); 1 + for x in 0..1 {}]>::new();
//~^ ERROR cannot add
//~| ERROR const Iterator` is not satisfied
//~| ERROR const Iterator` is not satisfied
}
tests/ui/typeck/for-in-const-eval.stderr
+1 -20
View File
@@ -1,22 +1,3 @@
error[E0277]: the trait bound `std::ops::Range<{integer}>: const Iterator` is not satisfied
--> $DIR/for-in-const-eval.rs:3:29
|
LL | Vec::<[(); 1 + for x in 0..1 {}]>::new();
| ^^^^ required by a bound introduced by this call
|
note: trait `Iterator` is implemented but not `const`
--> $SRC_DIR/core/src/iter/range.rs:LL:COL
= note: required for `std::ops::Range<{integer}>` to implement `const IntoIterator`
error[E0277]: the trait bound `std::ops::Range<{integer}>: const Iterator` is not satisfied
--> $DIR/for-in-const-eval.rs:3:29
|
LL | Vec::<[(); 1 + for x in 0..1 {}]>::new();
| ^^^^
|
note: trait `Iterator` is implemented but not `const`
--> $SRC_DIR/core/src/iter/range.rs:LL:COL
error[E0277]: cannot add `()` to `{integer}`
--> $DIR/for-in-const-eval.rs:3:18
|
@@ -35,6 +16,6 @@ LL | Vec::<[(); 1 + for x in 0..1 {}]>::new();
`&f64` implements `Add`
and 56 others
error: aborting due to 3 previous errors
error: aborting due to 1 previous error
For more information about this error, try `rustc --explain E0277`.
tests/ui/typeck/typeck_type_placeholder_item.rs
+2 -2
View File
@@ -239,5 +239,5 @@ fn evens_squared(n: usize) -> _ {
const _: _ = (1..10).filter(|x| x % 2 == 0).map(|x| x * x);
//~^ ERROR the placeholder
//~| ERROR the trait bound `std::ops::Range<{integer}>: const Iterator` is not satisfied
//~| ERROR the trait bound `Filter<std::ops::Range<{integer}>
//~| ERROR cannot call
//~| ERROR cannot call
tests/ui/typeck/typeck_type_placeholder_item.stderr
+23 -19
View File
@@ -587,29 +587,17 @@ LL - fn evens_squared(n: usize) -> _ {
LL + fn evens_squared(n: usize) -> impl Iterator<Item = usize> {
|
error[E0277]: the trait bound `std::ops::Range<{integer}>: const Iterator` is not satisfied
--> $DIR/typeck_type_placeholder_item.rs:240:15
|
LL | const _: _ = (1..10).filter(|x| x % 2 == 0).map(|x| x * x);
| ^^^^^ ------ required by a bound introduced by this call
|
note: trait `Iterator` is implemented but not `const`
--> $SRC_DIR/core/src/iter/range.rs:LL:COL
error[E0277]: the trait bound `Filter<std::ops::Range<{integer}>, {closure@$DIR/typeck_type_placeholder_item.rs:240:29: 240:32}>: const Iterator` is not satisfied
--> $DIR/typeck_type_placeholder_item.rs:240:45
|
LL | const _: _ = (1..10).filter(|x| x % 2 == 0).map(|x| x * x);
| ^^^
|
note: trait `Iterator` is implemented but not `const`
--> $SRC_DIR/core/src/iter/adapters/filter.rs:LL:COL
error[E0121]: the placeholder `_` is not allowed within types on item signatures for constants
--> $DIR/typeck_type_placeholder_item.rs:240:10
|
LL | const _: _ = (1..10).filter(|x| x % 2 == 0).map(|x| x * x);
| ^ not allowed in type signatures
|
note: however, the inferred type `Map<Filter<Range<i32>, {closure@typeck_type_placeholder_item.rs:240:29}>, {closure@typeck_type_placeholder_item.rs:240:49}>` cannot be named
--> $DIR/typeck_type_placeholder_item.rs:240:14
|
LL | const _: _ = (1..10).filter(|x| x % 2 == 0).map(|x| x * x);
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
error[E0121]: the placeholder `_` is not allowed within types on item signatures for return types
--> $DIR/typeck_type_placeholder_item.rs:40:24
@@ -690,7 +678,23 @@ LL | fn map<T>(_: fn() -> Option<&'static T>) -> Option<T> {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
= note: calls in constants are limited to constant functions, tuple structs and tuple variants
error[E0015]: cannot call non-const method `<std::ops::Range<i32> as Iterator>::filter::<{closure@$DIR/typeck_type_placeholder_item.rs:240:29: 240:32}>` in constants
--> $DIR/typeck_type_placeholder_item.rs:240:22
|
LL | const _: _ = (1..10).filter(|x| x % 2 == 0).map(|x| x * x);
| ^^^^^^^^^^^^^^^^^^^^^^
|
= note: calls in constants are limited to constant functions, tuple structs and tuple variants
error[E0015]: cannot call non-const method `<Filter<std::ops::Range<i32>, {closure@$DIR/typeck_type_placeholder_item.rs:240:29: 240:32}> as Iterator>::map::<i32, {closure@$DIR/typeck_type_placeholder_item.rs:240:49: 240:52}>` in constants
--> $DIR/typeck_type_placeholder_item.rs:240:45
|
LL | const _: _ = (1..10).filter(|x| x % 2 == 0).map(|x| x * x);
| ^^^^^^^^^^^^^^
|
= note: calls in constants are limited to constant functions, tuple structs and tuple variants
error: aborting due to 83 previous errors
Some errors have detailed explanations: E0015, E0046, E0121, E0277, E0282, E0403.
Some errors have detailed explanations: E0015, E0046, E0121, E0282, E0403.
For more information about an error, try `rustc --explain E0015`.