mathieu/os-rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Add a regression test for issue-83479

Browse source
This commit is contained in:
Yuki Okushi 2021-10-20 11:09:06 +09:00
parent 42983a28ab
commit 21d02bf132
No known key found for this signature in database
GPG key ID: DABA5B072961C18A
2 changed files with 60 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
src/test/ui/query-system/issue-83479.rs Normal file
View file

@ -0,0 +1,16 @@
#![feature(type_alias_impl_trait)]
type PairCoupledTypes: Trait<
//~^ ERROR: bounds on `type`s in this context have no effect
//~| ERROR: cannot find trait `Trait` in this scope
[u32; {
static FOO: usize; //~ ERROR: free static item without body
}],
> = impl Trait<
//~^ ERROR: cannot find trait `Trait` in this scope
[u32; {
static FOO: usize; //~ ERROR: free static item without body
}],
>;
fn main() {}

44
src/test/ui/query-system/issue-83479.stderr Normal file
View file

@ -0,0 +1,44 @@
error: bounds on `type`s in this context have no effect
--> $DIR/issue-83479.rs:3:24
|
LL | type PairCoupledTypes: Trait<
| ________________________^
LL | |
LL | |
LL | | [u32; {
LL | | static FOO: usize;
LL | | }],
LL | | > = impl Trait<
| |_^
error: free static item without body
--> $DIR/issue-83479.rs:7:9
|
LL | static FOO: usize;
| ^^^^^^^^^^^^^^^^^-
| |
| help: provide a definition for the static: `= <expr>;`
error: free static item without body
--> $DIR/issue-83479.rs:12:9
|
LL | static FOO: usize;
| ^^^^^^^^^^^^^^^^^-
| |
| help: provide a definition for the static: `= <expr>;`
error[E0405]: cannot find trait `Trait` in this scope
--> $DIR/issue-83479.rs:3:24
|
LL | type PairCoupledTypes: Trait<
| ^^^^^ not found in this scope
error[E0405]: cannot find trait `Trait` in this scope
--> $DIR/issue-83479.rs:9:10
|
LL | > = impl Trait<
| ^^^^^ not found in this scope
error: aborting due to 5 previous errors
For more information about this error, try `rustc --explain E0405`.