[E0023] Incorrect Number of Fields in Pattern Extraction

[MahadMuhammad]

ErrorCode[E0023]: Incorrect Number of Fields in Pattern Extraction

• The pattern has x fields, but the corresponding tuple variant has y field.

Code Tested:

// https://doc.rust-lang.org/error_codes/E0023.html
fn main() {
    enum Fruit {
        Apple(u32, u32),
        Pear(u32),
    }

    let x = Fruit::Apple(1, 2);

    match x {
        Fruit::Apple(a) => {} // error! : this pattern has 1 fields but the corresponding tuple variant has 2 field
        _ => {}
    }
}

Output:

mahad@linux:~/Desktop/mahad/gccrs-build$ gcc/crab1 ../mahad-testsuite/E0023.rs -frust-incomplete-and-experimental-compiler-do-not-use
../mahad-testsuite/E0023.rs:11:5: error: this pattern has 1 fields but the corresponding tuple variant has 2 field [E0023]
   11 |     Fruit::Apple(a) => {}, // error!
      |     ^~~~~

Analyzing compilation unit

Time variable                                   usr           sys          wall           GGC
 TOTAL                              :   0.00          0.00          0.00          146k
Extra diagnostic checks enabled; compiler may run slowly.
Configure with --enable-checking=release to disable checks.

Running testcases:

• gcc/testsuite/rust/compile/match1.rs

/mahad/gccrs/gcc/testsuite/rust/compile/match1.rs:12:9: error: this pattern has 2 fields but the corresponding tuple variant has 1 field [E0023]
compiler exited with status 1

gcc/rust/ChangeLog:

* typecheck/rust-hir-type-check-pattern.cc (TypeCheckPattern::visit): called rust_error_at

Signed-off-by: Muhammad Mahad <mahadtxt@gmail.com>

[philberty]

LGTM

[philberty]

While you are doing this can you raise issues if they exist where we could improve our location info? @MahadMuhammad

[MahadMuhammad]

@philberty, Okay :)

[CohenArthur]

LGTM!