Fix show error message when literal overflows in match patterns

Author: light4

compiler/rustc_mir_build/src/thir/constant.rs

@@ -17,7 +17,13 @@ crate fn lit_to_const<'tcx>(
         let param_ty = ParamEnv::reveal_all().and(ty);
         let width = tcx.layout_of(param_ty).map_err(|_| LitToConstError::Reported)?.size;
         trace!("trunc {} with size {} and shift {}", n, width.bits(), 128 - width.bits());
-        let result = width.truncate(n);
+        let result = match &ty.kind() {
+            ty::Uint(_) => {
+                let max_value = width.unsigned_int_max();
+                if n >= max_value { max_value } else { width.truncate(n) }
+            }
+            _ => width.truncate(n),
+        };
         trace!("trunc result: {}", result);
         Ok(ConstValue::Scalar(Scalar::from_uint(result, width)))
     };

src/test/ui/issues/issue-94239.rs

@@ -0,0 +1,8 @@
+pub const fn test_match_range(len: usize) -> usize {
+    match len {
+        10000000000000000000..=99999999999999999999 => 0, //~ ERROR literal out of range for `usize`
+        _ => unreachable!(),
+    }
+}
+
+fn main() {}

src/test/ui/issues/issue-94239.stderr

@@ -0,0 +1,11 @@
+error: literal out of range for `usize`
+  --> $DIR/issue-94239.rs:3:32
+   |
+LL |         10000000000000000000..=99999999999999999999 => 0,
+   |                                ^^^^^^^^^^^^^^^^^^^^
+   |
+   = note: `#[deny(overflowing_literals)]` on by default
+   = note: the literal `99999999999999999999` does not fit into the type `usize` whose range is `0..=18446744073709551615`
+
+error: aborting due to previous error
+