Propagate error

JohnTitor · JohnTitor · commit 2bc1fa0d4b99 · 2026-03-04T21:41:52.000+09:00
diff --git a/compiler/rustc_next_trait_solver/src/solve/mod.rs b/compiler/rustc_next_trait_solver/src/solve/mod.rs
@@ -111,7 +111,7 @@ where
                     opaque_types_jank: OpaqueTypesJank::AllGood,
                 });
             }
-            Err(Err(NoSolution)) => ty,
+            Err(Err(NoSolution)) => return Err(NoSolution),
         };
 
         self.register_ty_outlives(ty, lt);

Original file line number	Diff line number	Diff line change
`@@ -111,7 +111,7 @@ where`
`111`	`111`	`opaque_types_jank: OpaqueTypesJank::AllGood,`
`112`	`112`	`});`
`113`	`113`	`}`
`114`		`- Err(Err(NoSolution)) => ty,`
	`114`	`+ Err(Err(NoSolution)) => return Err(NoSolution),`
`115`	`115`	`};`
`116`	`116`
`117`	`117`	`self.register_ty_outlives(ty, lt);`