diff options
| author | Nicholas Nethercote <n.nethercote@gmail.com> | 2025-02-05 16:31:16 +1100 |
|---|---|---|
| committer | Nicholas Nethercote <n.nethercote@gmail.com> | 2025-02-20 13:48:37 +1100 |
| commit | 0895fe20e2f8ea4603fddae35412e0bc00511457 (patch) | |
| tree | 4416cdcc2ca1889a3fd30eb86e9ea7498627473d | |
| parent | dc4f948299b58e1d34c0267c17eea09a1119e8c7 (diff) | |
| download | rust-0895fe20e2f8ea4603fddae35412e0bc00511457.tar.gz rust-0895fe20e2f8ea4603fddae35412e0bc00511457.zip | |
Remove unused items from `query.rs`.
| -rw-r--r-- | compiler/rustc_middle/src/traits/query.rs | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/compiler/rustc_middle/src/traits/query.rs b/compiler/rustc_middle/src/traits/query.rs index 4203c8fd861..76f3d2bab9c 100644 --- a/compiler/rustc_middle/src/traits/query.rs +++ b/compiler/rustc_middle/src/traits/query.rs @@ -75,12 +75,6 @@ pub type CanonicalPredicateGoal<'tcx> = pub type CanonicalTypeOpAscribeUserTypeGoal<'tcx> = CanonicalQueryInput<'tcx, ty::ParamEnvAnd<'tcx, type_op::AscribeUserType<'tcx>>>; -pub type CanonicalTypeOpEqGoal<'tcx> = - CanonicalQueryInput<'tcx, ty::ParamEnvAnd<'tcx, type_op::Eq<'tcx>>>; - -pub type CanonicalTypeOpSubtypeGoal<'tcx> = - CanonicalQueryInput<'tcx, ty::ParamEnvAnd<'tcx, type_op::Subtype<'tcx>>>; - pub type CanonicalTypeOpProvePredicateGoal<'tcx> = CanonicalQueryInput<'tcx, ty::ParamEnvAnd<'tcx, type_op::ProvePredicate<'tcx>>>; |