Rollup merge of #35731 - pythoneer:fix-35192, r=jonathandturner
Update E0005 to use a label Fixes #35192 as Part of #35233 r? @jonathandturner
This commit is contained in:
commit
c216617cf2
2 changed files with 5 additions and 3 deletions
|
|
@ -11,4 +11,5 @@
|
|||
fn main() {
|
||||
let x = Some(1);
|
||||
let Some(y) = x; //~ ERROR E0005
|
||||
//~| NOTE pattern `None` not covered
|
||||
}
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue