user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Add test for inherent type_const normalization

Browse source
This commit is contained in:
lapla 2026-02-05 12:51:35 +09:00
parent c450ecf31b
commit d5957f582b
No known key found for this signature in database
GPG key ID: B39C71D9F127FF9F
2 changed files with 58 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

16
tests/ui/associated-types/type-const-inherent-impl-normalize.rs Normal file
View file

@ -0,0 +1,16 @@
struct S<const N: usize>;
impl<const N: usize> S<N> {
#[type_const]
//~^ ERROR: the `#[type_const]` attribute is an experimental feature
const LEN: usize = 1;
fn arr() {
[8; Self::LEN]
//~^ WARN: cannot use constants which depend on generic parameters in types
//~| WARN: this was previously accepted by the compiler but is being phased out
//~| WARN: cannot use constants which depend on generic parameters in types
//~| WARN: this was previously accepted by the compiler but is being phased out
//~| ERROR: mismatched types
}
}
pub fn main() {}

42
tests/ui/associated-types/type-const-inherent-impl-normalize.stderr Normal file
View file

@ -0,0 +1,42 @@
error[E0658]: the `#[type_const]` attribute is an experimental feature
--> $DIR/type-const-inherent-impl-normalize.rs:3:5
|
LL | #[type_const]
| ^^^^^^^^^^^^^
|
= note: see issue #132980 <https://github.com/rust-lang/rust/issues/132980> for more information
= help: add `#![feature(min_generic_const_args)]` to the crate attributes to enable
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
warning: cannot use constants which depend on generic parameters in types
--> $DIR/type-const-inherent-impl-normalize.rs:7:13
|
LL | [8; Self::LEN]
| ^^^^^^^^^
|
= warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
= note: for more information, see issue #76200 <https://github.com/rust-lang/rust/issues/76200>
= note: `#[warn(const_evaluatable_unchecked)]` (part of `#[warn(future_incompatible)]`) on by default
warning: cannot use constants which depend on generic parameters in types
--> $DIR/type-const-inherent-impl-normalize.rs:7:13
|
LL | [8; Self::LEN]
| ^^^^^^^^^
|
= warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
= note: for more information, see issue #76200 <https://github.com/rust-lang/rust/issues/76200>
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
error[E0308]: mismatched types
--> $DIR/type-const-inherent-impl-normalize.rs:7:9
|
LL | fn arr() {
| - help: try adding a return type: `-> [i32; 1]`
LL | [8; Self::LEN]
| ^^^^^^^^^^^^^^ expected `()`, found `[{integer}; 1]`
error: aborting due to 2 previous errors; 2 warnings emitted
Some errors have detailed explanations: E0308, E0658.
For more information about an error, try `rustc --explain E0308`.