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_infer/src/traits/util.rs | |
| parent | fbdef58414af2b3469bf4f0f83bb136945414b96 (diff) | |
| download | rust-374173cd996b27bfa40c09c5bad32134eda8a7d6.tar.gz rust-374173cd996b27bfa40c09c5bad32134eda8a7d6.zip | |
TypeWellFormedInEnv
Diffstat (limited to 'compiler/rustc_infer/src/traits/util.rs')
| -rw-r--r-- | compiler/rustc_infer/src/traits/util.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_infer/src/traits/util.rs b/compiler/rustc_infer/src/traits/util.rs index 52f16a1b25c..847b267b614 100644 --- a/compiler/rustc_infer/src/traits/util.rs +++ b/compiler/rustc_infer/src/traits/util.rs @@ -368,7 +368,7 @@ impl<'tcx, O: Elaboratable<'tcx>> Elaborator<'tcx, O> { .map(|predicate| elaboratable.child(predicate)), ); } - ty::PredicateKind::TypeWellFormedFromEnv(..) => { + ty::PredicateKind::Clause(ty::ClauseKind::TypeWellFormedFromEnv(..)) => { // Nothing to elaborate } ty::PredicateKind::Ambiguous => {} |