Inherent associated types are unstable, so we change their behaviour to match the new solver's

oli-obk · oli-obk · commit 3d1085c7ad73 · 2024-02-21T14:32:18.000Z
diff --git a/compiler/rustc_trait_selection/src/traits/project.rs b/compiler/rustc_trait_selection/src/traits/project.rs
@@ -642,7 +642,7 @@ pub fn compute_inherent_assoc_ty_args<'a, 'b, 'tcx>(
         );
     }
 
-    match selcx.infcx.at(&cause, param_env).eq(DefineOpaqueTypes::No, impl_ty, self_ty) {
+    match selcx.infcx.at(&cause, param_env).eq(DefineOpaqueTypes::Yes, impl_ty, self_ty) {
         Ok(mut ok) => obligations.append(&mut ok.obligations),
         Err(_) => {
             tcx.dcx().span_delayed_bug(

Original file line number	Diff line number	Diff line change
`@@ -642,7 +642,7 @@ pub fn compute_inherent_assoc_ty_args<'a, 'b, 'tcx>(`
`642`	`642`	`);`
`643`	`643`	`}`
`644`	`644`
`645`		`- match selcx.infcx.at(&cause, param_env).eq(DefineOpaqueTypes::No, impl_ty, self_ty) {`
	`645`	`+ match selcx.infcx.at(&cause, param_env).eq(DefineOpaqueTypes::Yes, impl_ty, self_ty) {`
`646`	`646`	`Ok(mut ok) => obligations.append(&mut ok.obligations),`
`647`	`647`	`Err(_) => {`
`648`	`648`	`tcx.dcx().span_delayed_bug(`