Constants in patterns can contain equality-less types

[petrochenkov]

Code:

const C: *const str = "abcd";

fn main() {
    match C {
        C => {}
        _ => {}
    }
}

Diagnostics:

warning: broken MIR (Terminator { source_info: SourceInfo { span: <anon>:5:9: 5:10, scope: scope0 }, kind: tmp1 = <str as std::cmp::PartialEq>::eq(tmp0, const "abcd") -> bb3 }): bad arg #0 (&str <- *const str): Sorts(ExpectedFound { expected: &str, found: *const str })
 --> <anon>:4:11
  |>
4 |>     match C {
  |>           ^

Reproduces on stable/beta/nightly.

[eddyb]

This is a pointer pattern, it shouldn't compile AFAIK. cc @arielb1

[arielb1]

This should be a constant pattern. Why it is destructuring through the pointer?

[nagisa]

As far as I remember, the constant-evaluated initializer expression gets used as a pattern, i.e. the code below and in the report are equivalent for MIR builder:

const C: *const str = "abcd";

fn main() {
    match C {
        "abcd" => {}
        _ => {}
    }
}

Which is caught by the proper-typeck and is why the mir-typeck is complaining.

[arielb1]

This is more general than raw pointers

const C: fn() = main;

fn foo(x: fn()) {
    match x {
        C => {}
        _ => {}
    }
}

fn main() {}

However, other cases result in a const-eval error:

const C: *const u8 = &0; //~ ERROR error: constant evaluation error: unimplemented constant expression: address operator [E0471]

fn foo(x: *const u8) {
    match x {
        C => {}
        _ => {}
    }
}

fn main() {}

I think this is the right solution.

[arielb1]

Problem line: https://github.com/rust-lang/rust/blob/1.10.0/src/librustc_const_eval/eval.rs#L340

[petrochenkov]

@arielb1 changed the title from warning: broken MIR: expected: &str, found: *const str to Constants in patterns can contain equality-less types

Since you generalized this issue, #34782 can probably be closed as a duplicate.