assert that unexpectedly unsized fields are sized in the param env

Lukas Markeffsky · Lukas Markeffsky · commit cd442a057706 · 2024-09-17T00:06:56.000+02:00
diff --git a/crates/hir-ty/src/layout.rs b/crates/hir-ty/src/layout.rs
@@ -106,10 +106,10 @@ impl fmt::Display for LayoutError {
     }
 }
 
-impl From<LayoutCalculatorError> for LayoutError {
-    fn from(err: LayoutCalculatorError) -> Self {
+impl<F> From<LayoutCalculatorError<F>> for LayoutError {
+    fn from(err: LayoutCalculatorError<F>) -> Self {
         match err {
-            LayoutCalculatorError::UnexpectedUnsized | LayoutCalculatorError::EmptyUnion => {
+            LayoutCalculatorError::UnexpectedUnsized(_) | LayoutCalculatorError::EmptyUnion => {
                 LayoutError::Unknown
             }
             LayoutCalculatorError::SizeOverflow => LayoutError::SizeOverflow,

Original file line number	Diff line number	Diff line change
`@@ -106,10 +106,10 @@ impl fmt::Display for LayoutError {`
`106`	`106`	`}`
`107`	`107`	`}`
`108`	`108`
`109`		`-impl From<LayoutCalculatorError> for LayoutError {`
`110`		`- fn from(err: LayoutCalculatorError) -> Self {`
	`109`	`+impl<F> From<LayoutCalculatorError<F>> for LayoutError {`
	`110`	`+ fn from(err: LayoutCalculatorError<F>) -> Self {`
`111`	`111`	`match err {`
`112`		`- LayoutCalculatorError::UnexpectedUnsized \| LayoutCalculatorError::EmptyUnion => {`
	`112`	`+ LayoutCalculatorError::UnexpectedUnsized(_) \| LayoutCalculatorError::EmptyUnion => {`
`113`	`113`	`LayoutError::Unknown`
`114`	`114`	`}`
`115`	`115`	`LayoutCalculatorError::SizeOverflow => LayoutError::SizeOverflow,`