Change a diagnostics-path-only DefineOpaqueTypes to Yes.

oli-obk · oli-obk · commit e03926c14381 · 2024-04-16T14:00:53.000Z
diff --git a/compiler/rustc_hir_typeck/src/method/probe.rs b/compiler/rustc_hir_typeck/src/method/probe.rs
@@ -1696,7 +1696,7 @@ impl<'a, 'tcx> ProbeContext<'a, 'tcx> {
                 if let ProbeResult::Match = result
                     && self
                         .at(&ObligationCause::dummy(), self.param_env)
-                        .sup(DefineOpaqueTypes::No, return_ty, xform_ret_ty)
+                        .sup(DefineOpaqueTypes::Yes, return_ty, xform_ret_ty)
                         .is_err()
                 {
                     result = ProbeResult::BadReturnType;

Original file line number	Diff line number	Diff line change
`@@ -1696,7 +1696,7 @@ impl<'a, 'tcx> ProbeContext<'a, 'tcx> {`
`1696`	`1696`	`if let ProbeResult::Match = result`
`1697`	`1697`	`&& self`
`1698`	`1698`	`.at(&ObligationCause::dummy(), self.param_env)`
`1699`		`- .sup(DefineOpaqueTypes::No, return_ty, xform_ret_ty)`
	`1699`	`+ .sup(DefineOpaqueTypes::Yes, return_ty, xform_ret_ty)`
`1700`	`1700`	`.is_err()`
`1701`	`1701`	`{`
`1702`	`1702`	`result = ProbeResult::BadReturnType;`