Can't mix generic and specific literals in match arms

[mahkoh]

For example

n is_whitespace(b: u8) -> bool {
    match b {
        b' '  => true,
        b'\t' => true,
        b'\n' => true,
        0x0B  => true,
        0x0C  => true,
        b'\r' => true,
        _     => false,
    }
}

mod.rs:166:9: 166:13 error: mismatched types between arms
mod.rs:166         b' '  => true,
                   ^~~~
mod.rs:167:9: 167:14 error: mismatched types between arms
mod.rs:167         b'\t' => true,
                   ^~~~~
mod.rs:168:9: 168:14 error: mismatched types between arms
mod.rs:168         b'\n' => true,
                   ^~~~~
mod.rs:166:9: 166:13 error: mismatched types between arms
mod.rs:166         b' '  => true,
                   ^~~~
mod.rs:167:9: 167:14 error: mismatched types between arms
mod.rs:167         b'\t' => true,
                   ^~~~~
mod.rs:168:9: 168:14 error: mismatched types between arms
mod.rs:168         b'\n' => true,
                   ^~~~~
mod.rs:169:9: 169:13 error: mismatched types between arms
mod.rs:169         0x0B  => true,
                   ^~~~
mod.rs:170:9: 170:13 error: mismatched types between arms
mod.rs:170         0x0C  => true,

[mahkoh]

fn main() {
    const X: u8 = 0;
    match 0u8 {
        X => { },
        1u8 => { },
        _ => { }
    }
}

[pnkfelix]

@jakub- this actually appears to be currently fixed to me; I don't doubt that your PR has value, but can you explain which of the cases reported on this ticket is currently failing for you?

[ghost]

@pnkfelix Ah, I hadn't actually checked if this issue was still valid! But it seems you're right and I don't think my PR is even relevant after the recent changes to constant evaluation. Closing, thanks.

[ghost]

Well, sorry, FWIW, this A-needstest.