rustc_const_eval: explain TooGeneric error

BennoLossin · RalfJung · web-flow · commit 6a3b839dc02f · 2025-09-10T20:25:01.000+02:00
Co-authored-by: Ralf Jung &lt;post@ralfj.de&gt;
diff --git a/compiler/rustc_const_eval/src/interpret/intrinsics.rs b/compiler/rustc_const_eval/src/interpret/intrinsics.rs
@@ -662,7 +662,8 @@ impl<'tcx, M: Machine<'tcx>> InterpCx<'tcx, M> {
                 self.write_immediate(*offset, dest)
             }
             ty::Alias(..) | ty::Param(..) | ty::Placeholder(..) | ty::Infer(..) => {
-                Err(err_inval!(TooGeneric)).into()
+                // This can happen in code which is generic over the field type.
+                throw_inval!(TooGeneric)
             }
             _ => span_bug!(self.cur_span(), "expected field representing type, found {ty}"),
         }

Original file line number	Diff line number	Diff line change
`@@ -662,7 +662,8 @@ impl<'tcx, M: Machine<'tcx>> InterpCx<'tcx, M> {`
`662`	`662`	`self.write_immediate(*offset, dest)`
`663`	`663`	`}`
`664`	`664`	`ty::Alias(..) \| ty::Param(..) \| ty::Placeholder(..) \| ty::Infer(..) => {`
`665`		`- Err(err_inval!(TooGeneric)).into()`
	`665`	`+ // This can happen in code which is generic over the field type.`
	`666`	`+ throw_inval!(TooGeneric)`
`666`	`667`	`}`
`667`	`668`	`_ => span_bug!(self.cur_span(), "expected field representing type, found {ty}"),`
`668`	`669`	`}`