Unrolled build for rust-lang#124017

rust-timer · web-flow · commit 53de808dacae · 2024-04-16T15:39:59.000-04:00
Rollup merge of rust-lang#124017 - oli-obk:define_opaque_types8, r=compiler-errors Change a diagnostics-path-only `DefineOpaqueTypes` to `Yes`. This can't possibly affect compilation, so it's safe to flip, even if I couldn't come up with an affected test r? ``@compiler-errors``
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;`