diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2024-04-16 17:54:45 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-16 17:54:45 +0200 |
| commit | 25fd90cea8f19abdea5bac3623477682aa23e137 (patch) | |
| tree | c2c03db1036cb8fc24e3e35296e8f235978d5c0c | |
| parent | cf7900476efc3a91b477b0780fba80d62d3b7a97 (diff) | |
| parent | e03926c1438173843429f570513972cc6f2e2f6c (diff) | |
| download | rust-25fd90cea8f19abdea5bac3623477682aa23e137.tar.gz rust-25fd90cea8f19abdea5bac3623477682aa23e137.zip | |
Rollup merge of #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``
| -rw-r--r-- | compiler/rustc_hir_typeck/src/method/probe.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_hir_typeck/src/method/probe.rs b/compiler/rustc_hir_typeck/src/method/probe.rs index 28e17e1de36..f1e3f38febd 100644 --- 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; |