use bug! for overflow of u128

chenyukang · chenyukang · commit 3bbc598d16bb · 2023-06-13T22:14:05.000+08:00
diff --git a/compiler/rustc_hir_typeck/src/intrinsicck.rs b/compiler/rustc_hir_typeck/src/intrinsicck.rs
@@ -87,7 +87,10 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
                 if let Some(v) = u128::from(size.bytes()).checked_mul(8) {
                     format!("{} bits", v)
                 } else {
-                    format!("{} bytes", size.bytes())
+                    // `u128` should definitely be able to hold the size of different architectures
+                    // larger sizes should be reported as error `are too big for the current architecture`
+                    // otherwise we have a bug somewhere
+                    bug!("{:?} overflow for u128", size)
                 }
             }
             Ok(SizeSkeleton::Generic(size)) => {

Original file line number	Diff line number	Diff line change
`@@ -87,7 +87,10 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {`
`87`	`87`	`if let Some(v) = u128::from(size.bytes()).checked_mul(8) {`
`88`	`88`	`format!("{} bits", v)`
`89`	`89`	`} else {`
`90`		`- format!("{} bytes", size.bytes())`
	`90`	+ // `u128` should definitely be able to hold the size of different architectures
	`91`	+ // larger sizes should be reported as error `are too big for the current architecture`
	`92`	`+ // otherwise we have a bug somewhere`
	`93`	`+ bug!("{:?} overflow for u128", size)`
`91`	`94`	`}`
`92`	`95`	`}`
`93`	`96`	`Ok(SizeSkeleton::Generic(size)) => {`