Range patterns cannot satisfy the whole usize domain

[MultisampledNight]

When trying to pattern match an usize, no ranges seem to be able to satisfy it, even if the ranges would automatically cover the entire added/removed range if usize's size changes. There seems to be a hard requirement of _.

MVCE

fn main() {
    match 4usize {
        0.. => println!("anything"),
    }
}

fails with

error[E0004]: non-exhaustive patterns: `_` not covered
 --> src/main.rs:2:11
  |
2 |     match 4usize {
  |           ^^^^^^ pattern `_` not covered
  |
  = note: the matched value is of type `usize`
  = note: `usize` does not have a fixed maximum value, so a wildcard `_` is necessary to match exhaustively
help: ensure that all possible cases are being handled by adding a match arm with a wildcard pattern or an explicit pattern as shown
  |
3 ~         0.. => println!("anything else"),
4 ~         _ => todo!(),
  |

For more information about this error, try `rustc --explain E0004`.

However, switching to u64 makes it work again:

-    match 4usize {
+    match 4u64 {

Sidenote: Changing 0.. to 0..=usize::MAX yields the same error.

Workaround

Adding _ as a new branch on the last match branch. Clippy cries about it though.

Environment

rustc 1.72.0-nightly (8084f397c 2023-06-25)
binary: rustc
commit-hash: 8084f397c6710e4748994dd1488b1f399283d469
commit-date: 2023-06-25
host: x86_64-unknown-linux-gnu
release: 1.72.0-nightly
LLVM version: 16.0.5

[Jules-Bertholet]

Dupe of #111859, see also #56354