Skip to content

Commit

Permalink
Rollup merge of #70435 - Alexendoo:test-66706, r=Centril
Browse files Browse the repository at this point in the history
Add regression test for #66706

Adds the two cases that no longer ICE (#66706 (comment))
  • Loading branch information
Dylan-DPC authored Mar 27, 2020
2 parents 7041efc + 40a0fdc commit fa15774
Show file tree
Hide file tree
Showing 2 changed files with 45 additions and 0 deletions.
13 changes: 13 additions & 0 deletions src/test/ui/issues/issue-66706.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
fn a() {
[0; [|_: _ &_| ()].len()]
//~^ ERROR expected `,`, found `&`
//~| ERROR type annotations needed
//~| ERROR mismatched types
}

fn b() {
[0; [|f @ &ref _| {} ; 0 ].len() ];
//~^ ERROR expected identifier, found reserved identifier `_`
}

fn main() {}
32 changes: 32 additions & 0 deletions src/test/ui/issues/issue-66706.stderr
Original file line number Diff line number Diff line change
@@ -0,0 +1,32 @@
error: expected `,`, found `&`
--> $DIR/issue-66706.rs:2:16
|
LL | [0; [|_: _ &_| ()].len()]
| -^ expected `,`
| |
| help: missing `,`

error: expected identifier, found reserved identifier `_`
--> $DIR/issue-66706.rs:9:20
|
LL | [0; [|f @ &ref _| {} ; 0 ].len() ];
| ^ expected identifier, found reserved identifier

error[E0282]: type annotations needed
--> $DIR/issue-66706.rs:2:11
|
LL | [0; [|_: _ &_| ()].len()]
| ^ consider giving this closure parameter a type

error[E0308]: mismatched types
--> $DIR/issue-66706.rs:2:5
|
LL | fn a() {
| - help: try adding a return type: `-> [{integer}; _]`
LL | [0; [|_: _ &_| ()].len()]
| ^^^^^^^^^^^^^^^^^^^^^^^^^ expected `()`, found array `[{integer}; _]`

error: aborting due to 4 previous errors

Some errors have detailed explanations: E0282, E0308.
For more information about an error, try `rustc --explain E0282`.

0 comments on commit fa15774

Please sign in to comment.