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

Add missing tests for an ICE

Browse Source
This commit is contained in:
Gurinder Singh 2024-04-27 11:02:15 +05:30
parent 6acb9e75eb
commit fc73b4c344
2 changed files with 76 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
tests/ui/consts/const-eval/ice-unhandled-type-122191.rs Normal file
View File

@ -0,0 +1,18 @@
type Foo = impl Send;
//~^ ERROR `impl Trait` in type aliases is unstable
struct A;
const VALUE: Foo = value();
//~^ ERROR cannot find function `value` in this scope
fn test() {
match VALUE {
0 | 0 => {}
//~^ ERROR mismatched types
//~| ERROR mismatched types
_ => (),
}
}
fn main() {}

58
tests/ui/consts/const-eval/ice-unhandled-type-122191.stderr Normal file
View File

@ -0,0 +1,58 @@
error[E0658]: `impl Trait` in type aliases is unstable
--> $DIR/ice-unhandled-type-122191.rs:1:12
|
LL | type Foo = impl Send;
| ^^^^^^^^^
|
= note: see issue #63063 <https://github.com/rust-lang/rust/issues/63063> for more information
= help: add `#![feature(type_alias_impl_trait)]` 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[E0425]: cannot find function `value` in this scope
--> $DIR/ice-unhandled-type-122191.rs:6:20
|
LL | const VALUE: Foo = value();
| ^^^^^ not found in this scope
error[E0308]: mismatched types
--> $DIR/ice-unhandled-type-122191.rs:11:9
|
LL | type Foo = impl Send;
| --------- the expected opaque type
...
LL | match VALUE {
| ----- this expression has type `Foo`
LL | 0 | 0 => {}
| ^ expected opaque type, found integer
|
= note: expected opaque type `Foo`
found type `{integer}`
note: this item must have the opaque type in its signature in order to be able to register hidden types
--> $DIR/ice-unhandled-type-122191.rs:9:4
|
LL | fn test() {
| ^^^^
error[E0308]: mismatched types
--> $DIR/ice-unhandled-type-122191.rs:11:13
|
LL | type Foo = impl Send;
| --------- the expected opaque type
...
LL | match VALUE {
| ----- this expression has type `Foo`
LL | 0 | 0 => {}
| ^ expected opaque type, found integer
|
= note: expected opaque type `Foo`
found type `{integer}`
note: this item must have the opaque type in its signature in order to be able to register hidden types
--> $DIR/ice-unhandled-type-122191.rs:9:4
|
LL | fn test() {
| ^^^^
error: aborting due to 4 previous errors
Some errors have detailed explanations: E0308, E0425, E0658.
For more information about an error, try `rustc --explain E0308`.