From e5fb7e01482b0961e302fc2830af76c7d63619c6 Mon Sep 17 00:00:00 2001 From: Dmitrii Vasilev Date: Sun, 18 Oct 2026 15:51:49 +0700 Subject: [PATCH] t27c: rejects_invalid_width test uses u65, u3 is a legal cast since #10084 (Closes #10320) Co-Authored-By: Claude Sonnet 5.5 --- bootstrap/src/compiler.rs | 8 ++++---- bootstrap/stage0/FROZEN_HASH | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/bootstrap/src/compiler.rs b/bootstrap/src/compiler.rs index 373cfc9dac..db441062ae 100644 --- a/bootstrap/src/compiler.rs +++ b/bootstrap/src/compiler.rs @@ -41073,16 +41073,16 @@ mod tests_compiler_rejects { assert!(r.is_err(), "malformed input must fail to compile, got Ok"); } - // Case 3: invalid width. `u3` is not a real integer width and is not in - // VALID_CAST_TYPES -> rejected; `u3` never reaches codegen. + // Case 3: invalid width. `u65` is past the 64 bits a uN cast may name (int_type_names.t27) + // and is not in VALID_CAST_TYPES -> rejected; `u65` never reaches codegen. #[test] - fn rejects_invalid_width_u3() { + fn rejects_invalid_width_u65() { // Hardened contract (t27#1940): a malformed statement/declaration // is a COMPILE ERROR, not a silent drop. let r = try_emit( r#"module RejBadWidth { pub fn h(x: u8) -> u8 { - return x as u3 + return x as u65 } }"#, ); diff --git a/bootstrap/stage0/FROZEN_HASH b/bootstrap/stage0/FROZEN_HASH index 302f471c59..4cf98fee59 100644 --- a/bootstrap/stage0/FROZEN_HASH +++ b/bootstrap/stage0/FROZEN_HASH @@ -1 +1 @@ -c485c8bd3372a8c391d5b2cd0c904dfe08155750b2d5a3e0319fbbbe62555c43 bootstrap/src/compiler.rs +fad12492937aa2196d2adbf560305e367f5dd1183a3107137d5bc0c1c26033ab bootstrap/src/compiler.rs