user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

check_pat_path: use pattern_cause

Browse source
This commit is contained in:
Mazdak Farrokhzad 2020-02-25 05:41:03 +01:00
parent 1d33717583
commit e9f6bb7f79
9 changed files with 27 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/test/ui/issues/issue-12552.stderr
View file

@ -12,6 +12,9 @@ LL | Some(k) => match k {
error[E0308]: mismatched types
--> $DIR/issue-12552.rs:9:5
|
LL | match t {
| - this expression has type `std::result::Result<_, {integer}>`
...
LL | None => ()
| ^^^^ expected enum `std::result::Result`, found enum `std::option::Option`
|

4
src/test/ui/issues/issue-37026.stderr
View file

@ -2,7 +2,9 @@ error[E0308]: mismatched types
--> $DIR/issue-37026.rs:6:9
|
LL | let empty_struct::XEmpty2 = ();
| ^^^^^^^^^^^^^^^^^^^^^ expected `()`, found struct `empty_struct::XEmpty2`
| ^^^^^^^^^^^^^^^^^^^^^ -- this expression has type `()`
| |
| expected `()`, found struct `empty_struct::XEmpty2`
error[E0308]: mismatched types
--> $DIR/issue-37026.rs:7:9

2
src/test/ui/issues/issue-5100.stderr
View file

@ -1,6 +1,8 @@
error[E0308]: mismatched types
--> $DIR/issue-5100.rs:8:9
|
LL | match (true, false) {
| ------------- this expression has type `(bool, bool)`
LL | A::B => (),
| ^^^^ expected tuple, found enum `A`
|

2
src/test/ui/issues/issue-7867.stderr
View file

@ -1,6 +1,8 @@
error[E0308]: mismatched types
--> $DIR/issue-7867.rs:7:9
|
LL | match (true, false) {
| ------------- this expression has type `(bool, bool)`
LL | A::B => (),
| ^^^^ expected tuple, found enum `A`
|

4
src/test/ui/match/match-tag-nullary.stderr
View file

@ -2,7 +2,9 @@ error[E0308]: mismatched types
--> $DIR/match-tag-nullary.rs:4:40
|
LL | fn main() { let x: A = A::A; match x { B::B => { } } }
| ^^^^ expected enum `A`, found enum `B`
| - ^^^^ expected enum `A`, found enum `B`
| |
| this expression has type `A`
error: aborting due to previous error

2
src/test/ui/pattern/pattern-ident-path-generics.stderr
View file

@ -1,6 +1,8 @@
error[E0308]: mismatched types
--> $DIR/pattern-ident-path-generics.rs:3:9
|
LL | match Some("foo") {
| ----------- this expression has type `std::option::Option<&str>`
LL | None::<isize> => {}
| ^^^^^^^^^^^^^ expected `&str`, found `isize`
|

4
src/test/ui/resolve/name-clash-nullary.stderr
View file

@ -2,7 +2,9 @@ error[E0308]: mismatched types
--> $DIR/name-clash-nullary.rs:2:7
|
LL | let None: isize = 42;
| ^^^^ expected `isize`, found enum `std::option::Option`
| ^^^^ ----- expected due to this
| |
| expected `isize`, found enum `std::option::Option`
|
= note: expected type `isize`
found enum `std::option::Option<_>`

2
src/test/ui/rfc-2005-default-binding-mode/const.stderr
View file

@ -1,6 +1,8 @@
error[E0308]: mismatched types
--> $DIR/const.rs:14:9
|
LL | match &f {
| -- this expression has type `&Foo`
LL | FOO => {},
| ^^^ expected `&Foo`, found struct `Foo`