Skip to content

Commit 020c36e

Browse files
compiler-errorscompiler-errors
committed
Migrate item bounds to clause
1 parent c4309bd commit 020c36e

File tree

37 files changed

+220
-121
lines changed

37 files changed

+220
-121
lines changed

‎compiler/rustc_borrowck/src/diagnostics/conflict_errors.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -704,7 +704,7 @@ impl<'cx, 'tcx> MirBorrowckCtxt<'cx, 'tcx> {
704704
ty::Alias(ty::Opaque, ty::AliasTy { def_id, substs, .. }) => tcx
705705
.explicit_item_bounds(def_id)
706706
.subst_iter_copied(tcx, substs)
707-
.find_map(find_fn_kind_from_did),
707+
.find_map(|(clause, span)| find_fn_kind_from_did((clause.as_predicate(), span))),
708708
ty::Closure(_, substs) => match substs.as_closure().kind() {
709709
ty::ClosureKind::Fn => Some(hir::Mutability::Not),
710710
ty::ClosureKind::FnMut => Some(hir::Mutability::Mut),

‎compiler/rustc_hir_analysis/src/bounds.rs

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -78,4 +78,8 @@ impl<'tcx> Bounds<'tcx> {
7878
pub fn predicates(&self) -> impl Iterator<Item = (Binder<'tcx, ty::Clause<'tcx>>, Span)> + '_ {
7979
self.predicates.iter().cloned()
8080
}
81+
82+
pub fn clauses(&self) -> impl Iterator<Item = (ty::Clause<'tcx>, Span)> + '_ {
83+
self.predicates.iter().cloned().map(|(pred, span)| (pred.as_clause().unwrap(), span))
84+
}
8185
}

‎compiler/rustc_hir_analysis/src/check/wfcheck.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1086,7 +1086,7 @@ fn check_associated_type_bounds(wfcx: &WfCheckingCtxt<'_, '_>, item: ty::AssocIt
10861086
wfcx.infcx,
10871087
wfcx.param_env,
10881088
wfcx.body_def_id,
1089-
normalized_bound,
1089+
normalized_bound.as_predicate(),
10901090
bound_span,
10911091
)
10921092
});
@@ -1562,7 +1562,7 @@ impl<'tcx> TypeVisitor<TyCtxt<'tcx>> for ImplTraitInTraitFinder<'_, 'tcx> {
15621562
self.wfcx.infcx,
15631563
self.wfcx.param_env,
15641564
self.wfcx.body_def_id,
1565-
bound,
1565+
bound.as_predicate(),
15661566
bound_span,
15671567
));
15681568
// Set the debruijn index back to innermost here, since we already eagerly

‎compiler/rustc_hir_analysis/src/collect/item_bounds.rs

Lines changed: 14 additions & 21 deletions
Original file line numberDiff line numberDiff line change
@@ -20,7 +20,7 @@ fn associated_type_bounds<'tcx>(
2020
assoc_item_def_id: LocalDefId,
2121
ast_bounds: &'tcx [hir::GenericBound<'tcx>],
2222
span: Span,
23-
) -> &'tcx [(ty::Predicate<'tcx>, Span)] {
23+
) -> &'tcx [(ty::Clause<'tcx>, Span)] {
2424
let item_ty = tcx.mk_projection(
2525
assoc_item_def_id.to_def_id(),
2626
InternalSubsts::identity_for_item(tcx, assoc_item_def_id),
@@ -34,8 +34,11 @@ fn associated_type_bounds<'tcx>(
3434
let trait_def_id = tcx.local_parent(assoc_item_def_id);
3535
let trait_predicates = tcx.trait_explicit_predicates_and_bounds(trait_def_id);
3636

37-
let bounds_from_parent = trait_predicates.predicates.iter().copied().filter(|(pred, _)| {
38-
match pred.kind().skip_binder() {
37+
let bounds_from_parent = trait_predicates
38+
.predicates
39+
.iter()
40+
.copied()
41+
.filter(|(pred, _)| match pred.kind().skip_binder() {
3942
ty::PredicateKind::Clause(ty::ClauseKind::Trait(tr)) => tr.self_ty() == item_ty,
4043
ty::PredicateKind::Clause(ty::ClauseKind::Projection(proj)) => {
4144
proj.projection_ty.self_ty() == item_ty
@@ -44,15 +47,10 @@ fn associated_type_bounds<'tcx>(
4447
outlives.0 == item_ty
4548
}
4649
_ => false,
47-
}
48-
});
50+
})
51+
.map(|(pred, span)| (pred.as_clause().unwrap(), span));
4952

50-
let all_bounds = tcx.arena.alloc_from_iter(
51-
bounds
52-
.predicates()
53-
.map(|(clause, span)| (clause.to_predicate(tcx), span))
54-
.chain(bounds_from_parent),
55-
);
53+
let all_bounds = tcx.arena.alloc_from_iter(bounds.clauses().chain(bounds_from_parent));
5654
debug!(
5755
"associated_type_bounds({}) = {:?}",
5856
tcx.def_path_str(assoc_item_def_id.to_def_id()),
@@ -72,24 +70,22 @@ fn opaque_type_bounds<'tcx>(
7270
ast_bounds: &'tcx [hir::GenericBound<'tcx>],
7371
item_ty: Ty<'tcx>,
7472
span: Span,
75-
) -> &'tcx [(ty::Predicate<'tcx>, Span)] {
73+
) -> &'tcx [(ty::Clause<'tcx>, Span)] {
7674
ty::print::with_no_queries!({
7775
let icx = ItemCtxt::new(tcx, opaque_def_id);
7876
let mut bounds = icx.astconv().compute_bounds(item_ty, ast_bounds, OnlySelfBounds(false));
7977
// Opaque types are implicitly sized unless a `?Sized` bound is found
8078
icx.astconv().add_implicitly_sized(&mut bounds, item_ty, ast_bounds, None, span);
8179
debug!(?bounds);
8280

83-
tcx.arena.alloc_from_iter(
84-
bounds.predicates().map(|(clause, span)| (clause.to_predicate(tcx), span)),
85-
)
81+
tcx.arena.alloc_from_iter(bounds.clauses())
8682
})
8783
}
8884

8985
pub(super) fn explicit_item_bounds(
9086
tcx: TyCtxt<'_>,
9187
def_id: LocalDefId,
92-
) -> ty::EarlyBinder<&'_ [(ty::Predicate<'_>, Span)]> {
88+
) -> ty::EarlyBinder<&'_ [(ty::Clause<'_>, Span)]> {
9389
match tcx.opt_rpitit_info(def_id.to_def_id()) {
9490
// RPITIT's bounds are the same as opaque type bounds, but with
9591
// a projection self type.
@@ -141,11 +137,8 @@ pub(super) fn explicit_item_bounds(
141137
pub(super) fn item_bounds(
142138
tcx: TyCtxt<'_>,
143139
def_id: DefId,
144-
) -> ty::EarlyBinder<&'_ ty::List<ty::Predicate<'_>>> {
140+
) -> ty::EarlyBinder<&'_ ty::List<ty::Clause<'_>>> {
145141
tcx.explicit_item_bounds(def_id).map_bound(|bounds| {
146-
tcx.mk_predicates_from_iter(util::elaborate(
147-
tcx,
148-
bounds.iter().map(|&(bound, _span)| bound),
149-
))
142+
tcx.mk_clauses_from_iter(util::elaborate(tcx, bounds.iter().map(|&(bound, _span)| bound)))
150143
})
151144
}

‎compiler/rustc_hir_analysis/src/variance/mod.rs

Lines changed: 5 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -162,28 +162,25 @@ fn variance_of_opaque(tcx: TyCtxt<'_>, item_def_id: LocalDefId) -> &[ty::Varianc
162162
// which thus mentions `'a` and should thus accept hidden types that borrow 'a
163163
// instead of requiring an additional `+ 'a`.
164164
match pred.kind().skip_binder() {
165-
ty::PredicateKind::Clause(ty::ClauseKind::Trait(ty::TraitPredicate {
165+
ty::ClauseKind::Trait(ty::TraitPredicate {
166166
trait_ref: ty::TraitRef { def_id: _, substs, .. },
167167
constness: _,
168168
polarity: _,
169-
})) => {
169+
}) => {
170170
for subst in &substs[1..] {
171171
subst.visit_with(&mut collector);
172172
}
173173
}
174-
ty::PredicateKind::Clause(ty::ClauseKind::Projection(ty::ProjectionPredicate {
174+
ty::ClauseKind::Projection(ty::ProjectionPredicate {
175175
projection_ty: ty::AliasTy { substs, .. },
176176
term,
177-
})) => {
177+
}) => {
178178
for subst in &substs[1..] {
179179
subst.visit_with(&mut collector);
180180
}
181181
term.visit_with(&mut collector);
182182
}
183-
ty::PredicateKind::Clause(ty::ClauseKind::TypeOutlives(ty::OutlivesPredicate(
184-
_,
185-
region,
186-
))) => {
183+
ty::ClauseKind::TypeOutlives(ty::OutlivesPredicate(_, region)) => {
187184
region.visit_with(&mut collector);
188185
}
189186
_ => {

‎compiler/rustc_hir_typeck/src/_match.rs

Lines changed: 6 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -536,33 +536,29 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
536536
}
537537

538538
for ty in [first_ty, second_ty] {
539-
for (pred, _) in self
539+
for (clause, _) in self
540540
.tcx
541541
.explicit_item_bounds(rpit_def_id)
542542
.subst_iter_copied(self.tcx, substs)
543543
{
544-
let pred = pred.kind().rebind(match pred.kind().skip_binder() {
545-
ty::PredicateKind::Clause(ty::ClauseKind::Trait(trait_pred)) => {
544+
let pred = clause.kind().rebind(match clause.kind().skip_binder() {
545+
ty::ClauseKind::Trait(trait_pred) => {
546546
// FIXME(rpitit): This will need to be fixed when we move to associated types
547547
assert!(matches!(
548548
*trait_pred.trait_ref.self_ty().kind(),
549549
ty::Alias(_, ty::AliasTy { def_id, substs: alias_substs, .. })
550550
if def_id == rpit_def_id && substs == alias_substs
551551
));
552-
ty::PredicateKind::Clause(ty::ClauseKind::Trait(
553-
trait_pred.with_self_ty(self.tcx, ty),
554-
))
552+
ty::ClauseKind::Trait(trait_pred.with_self_ty(self.tcx, ty))
555553
}
556-
ty::PredicateKind::Clause(ty::ClauseKind::Projection(
557-
mut proj_pred,
558-
)) => {
554+
ty::ClauseKind::Projection(mut proj_pred) => {
559555
assert!(matches!(
560556
*proj_pred.projection_ty.self_ty().kind(),
561557
ty::Alias(_, ty::AliasTy { def_id, substs: alias_substs, .. })
562558
if def_id == rpit_def_id && substs == alias_substs
563559
));
564560
proj_pred = proj_pred.with_self_ty(self.tcx, ty);
565-
ty::PredicateKind::Clause(ty::ClauseKind::Projection(proj_pred))
561+
ty::ClauseKind::Projection(proj_pred)
566562
}
567563
_ => continue,
568564
});

‎compiler/rustc_hir_typeck/src/closure.rs

Lines changed: 6 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -174,7 +174,10 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
174174
ty::Alias(ty::Opaque, ty::AliasTy { def_id, substs, .. }) => self
175175
.deduce_closure_signature_from_predicates(
176176
expected_ty,
177-
self.tcx.explicit_item_bounds(def_id).subst_iter_copied(self.tcx, substs),
177+
self.tcx
178+
.explicit_item_bounds(def_id)
179+
.subst_iter_copied(self.tcx, substs)
180+
.map(|(c, s)| (c.as_predicate(), s)),
178181
),
179182
ty::Dynamic(ref object_type, ..) => {
180183
let sig = object_type.projection_bounds().find_map(|pb| {
@@ -717,13 +720,13 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
717720
.tcx
718721
.explicit_item_bounds(def_id)
719722
.subst_iter_copied(self.tcx, substs)
720-
.find_map(|(p, s)| get_future_output(p, s))?,
723+
.find_map(|(p, s)| get_future_output(p.as_predicate(), s))?,
721724
ty::Error(_) => return None,
722725
ty::Alias(ty::Projection, proj) if self.tcx.is_impl_trait_in_trait(proj.def_id) => self
723726
.tcx
724727
.explicit_item_bounds(proj.def_id)
725728
.subst_iter_copied(self.tcx, proj.substs)
726-
.find_map(|(p, s)| get_future_output(p, s))?,
729+
.find_map(|(p, s)| get_future_output(p.as_predicate(), s))?,
727730
_ => span_bug!(
728731
self.tcx.def_span(expr_def_id),
729732
"async fn generator return type not an inference variable: {ret_ty}"

‎compiler/rustc_hir_typeck/src/generator_interior/mod.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -577,7 +577,7 @@ fn check_must_not_suspend_ty<'tcx>(
577577
let mut has_emitted = false;
578578
for &(predicate, _) in fcx.tcx.explicit_item_bounds(def).skip_binder() {
579579
// We only look at the `DefId`, so it is safe to skip the binder here.
580-
if let ty::PredicateKind::Clause(ty::ClauseKind::Trait(ref poly_trait_predicate)) =
580+
if let ty::ClauseKind::Trait(ref poly_trait_predicate) =
581581
predicate.kind().skip_binder()
582582
{
583583
let def_id = poly_trait_predicate.trait_ref.def_id;

‎compiler/rustc_infer/src/infer/error_reporting/mod.rs

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -408,9 +408,9 @@ impl<'tcx> InferCtxt<'tcx> {
408408
predicate
409409
.kind()
410410
.map_bound(|kind| match kind {
411-
ty::PredicateKind::Clause(ty::ClauseKind::Projection(
412-
projection_predicate,
413-
)) if projection_predicate.projection_ty.def_id == item_def_id => {
411+
ty::ClauseKind::Projection(projection_predicate)
412+
if projection_predicate.projection_ty.def_id == item_def_id =>
413+
{
414414
projection_predicate.term.ty()
415415
}
416416
_ => None,

‎compiler/rustc_infer/src/infer/opaque_types.rs

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -647,9 +647,7 @@ impl<'tcx> InferCtxt<'tcx> {
647647
ct_op: |ct| ct,
648648
});
649649

650-
if let ty::PredicateKind::Clause(ty::ClauseKind::Projection(projection)) =
651-
predicate.kind().skip_binder()
652-
{
650+
if let ty::ClauseKind::Projection(projection) = predicate.kind().skip_binder() {
653651
if projection.term.references_error() {
654652
// No point on adding any obligations since there's a type error involved.
655653
obligations.clear();

‎compiler/rustc_infer/src/infer/outlives/verify.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -296,7 +296,7 @@ impl<'cx, 'tcx> VerifyBoundCx<'cx, 'tcx> {
296296
trace!("{:#?}", bounds.skip_binder());
297297
bounds
298298
.subst_iter(tcx, alias_ty.substs)
299-
.filter_map(|p| p.to_opt_type_outlives())
299+
.filter_map(|p| p.as_type_outlives_clause())
300300
.filter_map(|p| p.no_bound_vars())
301301
.map(|OutlivesPredicate(_, r)| r)
302302
}

‎compiler/rustc_infer/src/traits/util.rs

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -167,6 +167,26 @@ impl<'tcx> Elaboratable<'tcx> for (ty::Predicate<'tcx>, Span) {
167167
}
168168
}
169169

170+
impl<'tcx> Elaboratable<'tcx> for (ty::Clause<'tcx>, Span) {
171+
fn predicate(&self) -> ty::Predicate<'tcx> {
172+
self.0.as_predicate()
173+
}
174+
175+
fn child(&self, predicate: ty::Predicate<'tcx>) -> Self {
176+
(predicate.as_clause().unwrap(), self.1)
177+
}
178+
179+
fn child_with_derived_cause(
180+
&self,
181+
predicate: ty::Predicate<'tcx>,
182+
_span: Span,
183+
_parent_trait_pred: ty::PolyTraitPredicate<'tcx>,
184+
_index: usize,
185+
) -> Self {
186+
(predicate.as_clause().unwrap(), self.1)
187+
}
188+
}
189+
170190
impl<'tcx> Elaboratable<'tcx> for ty::Clause<'tcx> {
171191
fn predicate(&self) -> ty::Predicate<'tcx> {
172192
self.as_predicate()

‎compiler/rustc_lint/src/opaque_hidden_inferred_bound.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -78,7 +78,7 @@ impl<'tcx> LateLintPass<'tcx> for OpaqueHiddenInferredBound {
7878
// Liberate bound regions in the predicate since we
7979
// don't actually care about lifetimes in this check.
8080
let predicate = cx.tcx.liberate_late_bound_regions(def_id, pred.kind());
81-
let ty::PredicateKind::Clause(ty::ClauseKind::Projection(proj)) = predicate else {
81+
let ty::ClauseKind::Projection(proj) = predicate else {
8282
continue;
8383
};
8484
// Only check types, since those are the only things that may
@@ -133,7 +133,7 @@ impl<'tcx> LateLintPass<'tcx> for OpaqueHiddenInferredBound {
133133
let add_bound = match (proj_term.kind(), assoc_pred.kind().skip_binder()) {
134134
(
135135
ty::Alias(ty::Opaque, ty::AliasTy { def_id, .. }),
136-
ty::PredicateKind::Clause(ty::ClauseKind::Trait(trait_pred)),
136+
ty::ClauseKind::Trait(trait_pred),
137137
) => Some(AddBound {
138138
suggest_span: cx.tcx.def_span(*def_id).shrink_to_hi(),
139139
trait_ref: trait_pred.print_modifiers_and_trait_path(),

‎compiler/rustc_lint/src/unused.rs

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -289,9 +289,8 @@ impl<'tcx> LateLintPass<'tcx> for UnusedResults {
289289
.filter_only_self()
290290
.find_map(|(pred, _span)| {
291291
// We only look at the `DefId`, so it is safe to skip the binder here.
292-
if let ty::PredicateKind::Clause(ty::ClauseKind::Trait(
293-
ref poly_trait_predicate,
294-
)) = pred.kind().skip_binder()
292+
if let ty::ClauseKind::Trait(ref poly_trait_predicate) =
293+
pred.kind().skip_binder()
295294
{
296295
let def_id = poly_trait_predicate.trait_ref.def_id;
297296

‎compiler/rustc_metadata/src/rmeta/decoder.rs

Lines changed: 8 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -25,7 +25,7 @@ use rustc_middle::mir::interpret::{AllocDecodingSession, AllocDecodingState};
2525
use rustc_middle::ty::codec::TyDecoder;
2626
use rustc_middle::ty::fast_reject::SimplifiedType;
2727
use rustc_middle::ty::GeneratorDiagnosticData;
28-
use rustc_middle::ty::{self, ParameterizedOverTcx, Predicate, Ty, TyCtxt, Visibility};
28+
use rustc_middle::ty::{self, ParameterizedOverTcx, Ty, TyCtxt, Visibility};
2929
use rustc_serialize::opaque::MemDecoder;
3030
use rustc_serialize::{Decodable, Decoder};
3131
use rustc_session::cstore::{
@@ -642,6 +642,12 @@ impl<'a, 'tcx> Decodable<DecodeContext<'a, 'tcx>> for &'tcx [(ty::Predicate<'tcx
642642
}
643643
}
644644

645+
impl<'a, 'tcx> Decodable<DecodeContext<'a, 'tcx>> for &'tcx [(ty::Clause<'tcx>, Span)] {
646+
fn decode(d: &mut DecodeContext<'a, 'tcx>) -> Self {
647+
ty::codec::RefDecodable::decode(d)
648+
}
649+
}
650+
645651
impl<'a, 'tcx, T> Decodable<DecodeContext<'a, 'tcx>> for LazyValue<T> {
646652
fn decode(decoder: &mut DecodeContext<'a, 'tcx>) -> Self {
647653
decoder.read_lazy()
@@ -854,7 +860,7 @@ impl<'a, 'tcx> CrateMetadataRef<'a> {
854860
self,
855861
index: DefIndex,
856862
tcx: TyCtxt<'tcx>,
857-
) -> ty::EarlyBinder<&'tcx [(Predicate<'tcx>, Span)]> {
863+
) -> ty::EarlyBinder<&'tcx [(ty::Clause<'tcx>, Span)]> {
858864
let lazy = self.root.tables.explicit_item_bounds.get(self, index);
859865
let output = if lazy.is_default() {
860866
&mut []

‎compiler/rustc_metadata/src/rmeta/mod.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -375,7 +375,7 @@ define_tables! {
375375
is_type_alias_impl_trait: Table<DefIndex, bool>,
376376
attr_flags: Table<DefIndex, AttrFlags>,
377377
def_path_hashes: Table<DefIndex, DefPathHash>,
378-
explicit_item_bounds: Table<DefIndex, LazyArray<(ty::Predicate<'static>, Span)>>,
378+
explicit_item_bounds: Table<DefIndex, LazyArray<(ty::Clause<'static>, Span)>>,
379379
inferred_outlives_of: Table<DefIndex, LazyArray<(ty::ClauseKind<'static>, Span)>>,
380380
inherent_impls: Table<DefIndex, LazyArray<DefIndex>>,
381381
associated_types_for_impl_traits_in_associated_fn: Table<DefIndex, LazyArray<DefId>>,

‎compiler/rustc_middle/src/query/mod.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -346,7 +346,7 @@ rustc_queries! {
346346
/// `key` is the `DefId` of the associated type or opaque type.
347347
///
348348
/// Bounds from the parent (e.g. with nested impl trait) are not included.
349-
query explicit_item_bounds(key: DefId) -> ty::EarlyBinder<&'tcx [(ty::Predicate<'tcx>, Span)]> {
349+
query explicit_item_bounds(key: DefId) -> ty::EarlyBinder<&'tcx [(ty::Clause<'tcx>, Span)]> {
350350
desc { |tcx| "finding item bounds for `{}`", tcx.def_path_str(key) }
351351
cache_on_disk_if { key.is_local() }
352352
separate_provide_extern
@@ -373,7 +373,7 @@ rustc_queries! {
373373
/// ```
374374
///
375375
/// Bounds from the parent (e.g. with nested impl trait) are not included.
376-
query item_bounds(key: DefId) -> ty::EarlyBinder<&'tcx ty::List<ty::Predicate<'tcx>>> {
376+
query item_bounds(key: DefId) -> ty::EarlyBinder<&'tcx ty::List<ty::Clause<'tcx>>> {
377377
desc { |tcx| "elaborating item bounds for `{}`", tcx.def_path_str(key) }
378378
}
379379

‎compiler/rustc_middle/src/query/on_disk_cache.rs

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -798,6 +798,13 @@ impl<'a, 'tcx> Decodable<CacheDecoder<'a, 'tcx>> for &'tcx [(ty::Predicate<'tcx>
798798
}
799799
}
800800

801+
impl<'a, 'tcx> Decodable<CacheDecoder<'a, 'tcx>> for &'tcx [(ty::Clause<'tcx>, Span)] {
802+
#[inline]
803+
fn decode(d: &mut CacheDecoder<'a, 'tcx>) -> Self {
804+
RefDecodable::decode(d)
805+
}
806+
}
807+
801808
impl<'a, 'tcx> Decodable<CacheDecoder<'a, 'tcx>> for &'tcx [(ty::ClauseKind<'tcx>, Span)] {
802809
#[inline]
803810
fn decode(d: &mut CacheDecoder<'a, 'tcx>) -> Self {

0 commit comments

Comments
 (0)