The bug on ‘match’ (exhaustiveness checking should understand valid ranges for integers)

[3442853561]

When I compile this :

fn main() {
    let foo: u8 = 0;
    match foo {
        0 => {}
        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 => {}
        26 => {}
        27 => {}
        28 => {}
        29 => {}
        30 => {}
        31 => {}
        32 => {}
        33 => {}
        34 => {}
        35 => {}
        36 => {}
        37 => {}
        38 => {}
        39 => {}
        40 => {}
        41 => {}
        42 => {}
        43 => {}
        44 => {}
        45 => {}
        46 => {}
        47 => {}
        48 => {}
        49 => {}
        50 => {}
        51 => {}
        52 => {}
        53 => {}
        54 => {}
        55 => {}
        56 => {}
        57 => {}
        58 => {}
        59 => {}
        60 => {}
        61 => {}
        62 => {}
        63 => {}
        64 => {}
        65 => {}
        66 => {}
        67 => {}
        68 => {}
        69 => {}
        70 => {}
        71 => {}
        72 => {}
        73 => {}
        74 => {}
        75 => {}
        76 => {}
        77 => {}
        78 => {}
        79 => {}
        80 => {}
        81 => {}
        82 => {}
        83 => {}
        84 => {}
        85 => {}
        86 => {}
        87 => {}
        88 => {}
        89 => {}
        90 => {}
        91 => {}
        92 => {}
        93 => {}
        94 => {}
        95 => {}
        96 => {}
        97 => {}
        98 => {}
        99 => {}
        100 => {}
        101 => {}
        102 => {}
        103 => {}
        104 => {}
        105 => {}
        106 => {}
        107 => {}
        108 => {}
        109 => {}
        110 => {}
        111 => {}
        112 => {}
        113 => {}
        114 => {}
        115 => {}
        116 => {}
        117 => {}
        118 => {}
        119 => {}
        120 => {}
        121 => {}
        122 => {}
        123 => {}
        124 => {}
        125 => {}
        126 => {}
        127 => {}
        128 => {}
        129 => {}
        130 => {}
        131 => {}
        132 => {}
        133 => {}
        134 => {}
        135 => {}
        136 => {}
        137 => {}
        138 => {}
        139 => {}
        140 => {}
        141 => {}
        142 => {}
        143 => {}
        144 => {}
        145 => {}
        146 => {}
        147 => {}
        148 => {}
        149 => {}
        150 => {}
        151 => {}
        152 => {}
        153 => {}
        154 => {}
        155 => {}
        156 => {}
        157 => {}
        158 => {}
        159 => {}
        160 => {}
        161 => {}
        162 => {}
        163 => {}
        164 => {}
        165 => {}
        166 => {}
        167 => {}
        168 => {}
        169 => {}
        170 => {}
        171 => {}
        172 => {}
        173 => {}
        174 => {}
        175 => {}
        176 => {}
        177 => {}
        178 => {}
        179 => {}
        180 => {}
        181 => {}
        182 => {}
        183 => {}
        184 => {}
        185 => {}
        186 => {}
        187 => {}
        188 => {}
        189 => {}
        190 => {}
        191 => {}
        192 => {}
        193 => {}
        194 => {}
        195 => {}
        196 => {}
        197 => {}
        198 => {}
        199 => {}
        200 => {}
        201 => {}
        202 => {}
        203 => {}
        204 => {}
        205 => {}
        206 => {}
        207 => {}
        208 => {}
        209 => {}
        210 => {}
        211 => {}
        212 => {}
        213 => {}
        214 => {}
        215 => {}
        216 => {}
        217 => {}
        218 => {}
        219 => {}
        220 => {}
        221 => {}
        222 => {}
        223 => {}
        224 => {}
        225 => {}
        226 => {}
        227 => {}
        228 => {}
        229 => {}
        230 => {}
        231 => {}
        232 => {}
        233 => {}
        234 => {}
        235 => {}
        236 => {}
        237 => {}
        238 => {}
        239 => {}
        240 => {}
        241 => {}
        242 => {}
        243 => {}
        244 => {}
        245 => {}
        246 => {}
        247 => {}
        248 => {}
        249 => {}
        250 => {}
        251 => {}
        252 => {}
        253 => {}
        254 => {}
        255 => {}
    }
}

The compiler gives an error :

error[E0004]: non-exhaustive patterns: `_` not covered
 --> src/main.rs:3:11
  |
3 |     match foo {
  |           ^^^ pattern `_` not covered

error: aborting due to previous error

#45427

[scottmcm]

Looks like this is rust-lang/rfcs#1550 written out instead of as a range pattern?

[bluss]

Thanks for raising this issue! This is indeed a missing feature which has been discussed before in #12483 and #30578. Since it requires a new feature in the language, it's best to engage with the processes for improving Rust directly if you want to push this towards a solution. See https://github.com/rust-lang/rust/blob/master/CONTRIBUTING.md for more information, and the existing rfc issue that @scottmcm linked to.

I'll close this issue like its duplicates.