diff options
| author | lcnr <rust@lcnr.de> | 2023-11-23 12:25:41 +0000 |
|---|---|---|
| committer | lcnr <rust@lcnr.de> | 2023-11-23 12:25:41 +0000 |
| commit | d51ef5c1afc6491d9c224e12cc5c1e72a58bf81a (patch) | |
| tree | b682cd41de363fd9ac918e635d1c80291b4ecfa8 /compiler | |
| parent | 38eecca62c73401043eb5ff01557bb58792631f7 (diff) | |
| download | rust-d51ef5c1afc6491d9c224e12cc5c1e72a58bf81a.tar.gz rust-d51ef5c1afc6491d9c224e12cc5c1e72a58bf81a.zip | |
fix intercrate ambiguity causes
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/rustc_trait_selection/src/traits/coherence.rs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/compiler/rustc_trait_selection/src/traits/coherence.rs b/compiler/rustc_trait_selection/src/traits/coherence.rs index 9119792e324..f3993ec2566 100644 --- a/compiler/rustc_trait_selection/src/traits/coherence.rs +++ b/compiler/rustc_trait_selection/src/traits/coherence.rs @@ -1050,8 +1050,10 @@ impl<'a, 'tcx> ProofTreeVisitor<'tcx> for AmbiguityCausesVisitor<'a> { let mut ambiguity_cause = None; for cand in goal.candidates() { // FIXME: boiiii, using string comparisions here sure is scuffed. - if let inspect::ProbeKind::MiscCandidate { name: "coherence unknowable", result: _ } = - cand.kind() + if let inspect::ProbeKind::MiscCandidate { + name: "coherence unknowable", + result: Ok(_), + } = cand.kind() { let lazily_normalize_ty = |ty: Ty<'tcx>| { let mut fulfill_cx = <dyn TraitEngine<'tcx>>::new(infcx); |
