diff options
| author | Michael Goulet <michael@errs.io> | 2023-11-21 04:02:46 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2023-11-21 18:35:45 +0000 |
| commit | 93298ee0dd938c0fece0ee5dbafe851e54dd6386 (patch) | |
| tree | 29cc0d8e297543a94521fa2da23ce1a250a9193b /compiler/rustc_infer/src/traits/util.rs | |
| parent | 0ff861096449f47956521b40e5e4e88caa7fe27c (diff) | |
| download | rust-93298ee0dd938c0fece0ee5dbafe851e54dd6386.tar.gz rust-93298ee0dd938c0fece0ee5dbafe851e54dd6386.zip | |
Remove ClosureKind predicate kind
Diffstat (limited to 'compiler/rustc_infer/src/traits/util.rs')
| -rw-r--r-- | compiler/rustc_infer/src/traits/util.rs | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/compiler/rustc_infer/src/traits/util.rs b/compiler/rustc_infer/src/traits/util.rs index ed3409149d0..1bcae736fd9 100644 --- a/compiler/rustc_infer/src/traits/util.rs +++ b/compiler/rustc_infer/src/traits/util.rs @@ -308,9 +308,6 @@ impl<'tcx, O: Elaboratable<'tcx>> Elaborator<'tcx, O> { ty::PredicateKind::Clause(ty::ClauseKind::Projection(..)) => { // Nothing to elaborate in a projection predicate. } - ty::PredicateKind::ClosureKind(..) => { - // Nothing to elaborate when waiting for a closure's kind to be inferred. - } ty::PredicateKind::Clause(ty::ClauseKind::ConstEvaluatable(..)) => { // Currently, we do not elaborate const-evaluatable // predicates. |