Handle "false where clause" with TooGeneric layout error

FedericoBruzzone · FedericoBruzzone · commit 74e774e4e447 · 2025-01-07T09:07:04.000+01:00
Signed-off-by: FedericoBruzzone &lt;federico.bruzzone.i@gmail.com&gt;
diff --git a/compiler/rustc_ty_utils/src/layout.rs b/compiler/rustc_ty_utils/src/layout.rs
@@ -109,7 +109,11 @@ fn map_error<'tcx>(
                     "encountered unexpected unsized field in layout of {ty:?}: {field:#?}"
                 ));
             }
-            LayoutError::Unknown(ty)
+            if cx.tcx().features().trivial_bounds() {
+                LayoutError::TooGeneric(ty)
+            } else {
+                LayoutError::Unknown(ty)
+            }
         }
         LayoutCalculatorError::EmptyUnion => {
             // This is always a compile error.

Original file line number	Diff line number	Diff line change
`@@ -109,7 +109,11 @@ fn map_error<'tcx>(`
`109`	`109`	`"encountered unexpected unsized field in layout of {ty:?}: {field:#?}"`
`110`	`110`	`));`
`111`	`111`	`}`
`112`		`- LayoutError::Unknown(ty)`
	`112`	`+ if cx.tcx().features().trivial_bounds() {`
	`113`	`+ LayoutError::TooGeneric(ty)`
	`114`	`+ } else {`
	`115`	`+ LayoutError::Unknown(ty)`
	`116`	`+ }`
`113`	`117`	`}`
`114`	`118`	`LayoutCalculatorError::EmptyUnion => {`
`115`	`119`	`// This is always a compile error.`