diff options
| author | Michael Goulet <michael@errs.io> | 2023-06-22 17:43:19 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2023-06-26 23:12:04 +0000 |
| commit | 374173cd996b27bfa40c09c5bad32134eda8a7d6 (patch) | |
| tree | 4af8869678988bad29ce558610c274591286940f /compiler/rustc_hir_analysis/src/impl_wf_check | |
| parent | fbdef58414af2b3469bf4f0f83bb136945414b96 (diff) | |
| download | rust-374173cd996b27bfa40c09c5bad32134eda8a7d6.tar.gz rust-374173cd996b27bfa40c09c5bad32134eda8a7d6.zip | |
TypeWellFormedInEnv
Diffstat (limited to 'compiler/rustc_hir_analysis/src/impl_wf_check')
| -rw-r--r-- | compiler/rustc_hir_analysis/src/impl_wf_check/min_specialization.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_hir_analysis/src/impl_wf_check/min_specialization.rs b/compiler/rustc_hir_analysis/src/impl_wf_check/min_specialization.rs index 1dd45e34282..383144ce139 100644 --- a/compiler/rustc_hir_analysis/src/impl_wf_check/min_specialization.rs +++ b/compiler/rustc_hir_analysis/src/impl_wf_check/min_specialization.rs @@ -554,6 +554,6 @@ fn trait_predicate_kind<'tcx>( | ty::PredicateKind::Clause(ty::ClauseKind::ConstEvaluatable(..)) | ty::PredicateKind::ConstEquate(..) | ty::PredicateKind::Ambiguous - | ty::PredicateKind::TypeWellFormedFromEnv(..) => None, + | ty::PredicateKind::Clause(ty::ClauseKind::TypeWellFormedFromEnv(..)) => None, } } |