diff options
| author | Michael Goulet <michael@errs.io> | 2023-06-15 18:35:52 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2023-06-17 21:27:13 +0000 |
| commit | 6594c75449fcf53474fb47182f1326b230cbcbe8 (patch) | |
| tree | 99103f58394cf58ad03248de5379907dc4380285 /compiler/rustc_infer/src/traits/util.rs | |
| parent | 52d3fc93f2194b0646e5447f29e6702b7c71ddae (diff) | |
| download | rust-6594c75449fcf53474fb47182f1326b230cbcbe8.tar.gz rust-6594c75449fcf53474fb47182f1326b230cbcbe8.zip | |
Move ConstEvaluatable to Clause
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 66056de03b5..5622062ef7e 100644 --- a/compiler/rustc_infer/src/traits/util.rs +++ b/compiler/rustc_infer/src/traits/util.rs @@ -249,7 +249,7 @@ impl<'tcx, O: Elaboratable<'tcx>> Elaborator<'tcx, O> { ty::PredicateKind::ClosureKind(..) => { // Nothing to elaborate when waiting for a closure's kind to be inferred. } - ty::PredicateKind::ConstEvaluatable(..) => { + ty::PredicateKind::Clause(ty::Clause::ConstEvaluatable(..)) => { // Currently, we do not elaborate const-evaluatable // predicates. } |