mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix ICE on invalid const param types

Browse Source
This commit is contained in:
Gurinder Singh 2024-04-27 09:36:38 +05:30
parent 3a36386dc1
commit c62bc31b16
4 changed files with 49 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
compiler/rustc_hir_analysis/src/collect.rs
View File

@ -386,6 +386,8 @@ fn ty_infer(&self, _: Option<&ty::GenericParamDef>, span: Span) -> Ty<'tcx> {
fn ct_infer(&self, ty: Ty<'tcx>, _: Option<&ty::GenericParamDef>, span: Span) -> Const<'tcx> {
let ty = self.tcx.fold_regions(ty, |r, _| match *r {
rustc_type_ir::RegionKind::ReStatic => r,
// This is never reached in practice. If it ever is reached,
// `ReErased` should be changed to `ReStatic`, and any other region
// left alone.

6
tests/crashes/123863.rs
View File

@ -1,6 +0,0 @@
//@ known-bug: #123863
const fn concat_strs<const A: &'static str>() -> &'static str {
struct Inner<const A: &'static str>;
Inner::concat_strs::<"a">::A
}
pub fn main() {}

9
tests/ui/typeck/ice-unexpected-region-123863.rs Normal file
View File

@ -0,0 +1,9 @@
const fn concat_strs<const A: &'static str>() -> &'static str {
//~^ ERROR &'static str` is forbidden as the type of a const generic parameter
struct Inner<const A: &'static str>;
//~^ ERROR &'static str` is forbidden as the type of a const generic parameter
Inner::concat_strs::<"a">::A
//~^ ERROR ambiguous associated type
}
pub fn main() {}

38
tests/ui/typeck/ice-unexpected-region-123863.stderr Normal file
View File

@ -0,0 +1,38 @@
error: `&'static str` is forbidden as the type of a const generic parameter
--> $DIR/ice-unexpected-region-123863.rs:1:31
|
LL | const fn concat_strs<const A: &'static str>() -> &'static str {
| ^^^^^^^^^^^^
|
= note: the only supported types are integers, `bool` and `char`
help: add `#![feature(adt_const_params)]` to the crate attributes to enable more complex and user defined types
|
LL + #![feature(adt_const_params)]
|
error: `&'static str` is forbidden as the type of a const generic parameter
--> $DIR/ice-unexpected-region-123863.rs:3:27
|
LL | struct Inner<const A: &'static str>;
| ^^^^^^^^^^^^
|
= note: the only supported types are integers, `bool` and `char`
help: add `#![feature(adt_const_params)]` to the crate attributes to enable more complex and user defined types
|
LL + #![feature(adt_const_params)]
|
error[E0223]: ambiguous associated type
--> $DIR/ice-unexpected-region-123863.rs:5:5
|
LL | Inner::concat_strs::<"a">::A
| ^^^^^^^^^^^^^^^^^^^^^^^^^
|
help: if there were a trait named `Example` with associated type `concat_strs` implemented for `Inner<_>`, you could use the fully-qualified path
|
LL | <Inner<_> as Example>::concat_strs::A
| ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
error: aborting due to 3 previous errors
For more information about this error, try `rustc --explain E0223`.