Enum variant type not type checked in pattern matching if the pattern contains variables

[ironcev]

When an enum variant match pattern contains variables, the variant type used within the pattern is not checked against the enum variant type. E.g, this compiles:

script;

enum E {
    A: (u8, u8, u8),
}

fn main() {
    let e = E::A((0, 0, 0));
    let _ = match e {
        E::A(_) => {},
        E::A(_, _) => {},
        E::A(_, _, _) => {},
        E::A(_, _, _, _) => {},
        E::A(x) => {},
        E::A(x, x) => {},
        E::A(x, x, x) => {},
        E::A(x, x, x, x) => {},
    };
}

If the pattern does not contain variables, errors will be properly reported. E.g., this emits expected type mismatch errors:

    let e = E::A((0, 0, 0));
    let _ = match e {
        E::A(0) => {},
        E::A(0, 0) => {},
        E::A(0, 0, 0) => {},
    };

But as soon as we have variables, type mismatching is not checked. E.g., this compiles without errors:

    let e = E::A((0, 0, 0));
    let _ = match e {
        E::A(x, 0) => {},
        E::A(x, 0, 0) => {},
    };

[ironcev]

Related to #5417.