File: refutable-pattern-errors.stderr

package info (click to toggle)
rustc-web 1.78.0%2Bdfsg1-2~deb12u3
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 1,245,420 kB
  • sloc: xml: 147,985; javascript: 18,022; sh: 11,083; python: 10,265; ansic: 6,172; cpp: 5,023; asm: 4,390; makefile: 4,269
file content (25 lines) | stat: -rw-r--r-- 1,217 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
error[E0005]: refutable pattern in function argument
  --> $DIR/refutable-pattern-errors.rs:1:9
   |
LL | fn func((1, (Some(1), 2..=3)): (isize, (Option<isize>, isize))) {}
   |         ^^^^^^^^^^^^^^^^^^^^^ patterns `(..=0_isize, _)` and `(2_isize.., _)` not covered
   |
   = note: the matched value is of type `(isize, (Option<isize>, isize))`

error[E0005]: refutable pattern in local binding
  --> $DIR/refutable-pattern-errors.rs:6:9
   |
LL |     let (1, (Some(1), 2..=3)) = (1, (None, 2));
   |         ^^^^^^^^^^^^^^^^^^^^^ patterns `(i32::MIN..=0_i32, _)` and `(2_i32..=i32::MAX, _)` not covered
   |
   = note: `let` bindings require an "irrefutable pattern", like a `struct` or an `enum` with only one variant
   = note: for more information, visit https://doc.rust-lang.org/book/ch18-02-refutability.html
   = note: the matched value is of type `(i32, (Option<i32>, i32))`
help: you might want to use `if let` to ignore the variants that aren't matched
   |
LL |     if let (1, (Some(1), 2..=3)) = (1, (None, 2)) { todo!() };
   |     ++                                            +++++++++++

error: aborting due to 2 previous errors

For more information about this error, try `rustc --explain E0005`.