// Liberate bound regions in the predicate since we
// don't actually care about lifetimes in this check.
let predicate = cx.tcx.liberate_late_bound_regions(def_id, pred.kind());
- let ty::PredicateKind::Projection(proj) = predicate else {
+ let ty::PredicateKind::Clause(ty::Clause::Projection(proj)) = predicate else {
continue;
};
// Only check types, since those are the only things that may
// If it's a trait bound and an opaque that doesn't satisfy it,
// then we can emit a suggestion to add the bound.
let add_bound = match (proj_term.kind(), assoc_pred.kind().skip_binder()) {
- (ty::Opaque(def_id, _), ty::PredicateKind::Trait(trait_pred)) => {
- Some(AddBound {
- suggest_span: cx.tcx.def_span(*def_id).shrink_to_hi(),
- trait_ref: trait_pred.print_modifiers_and_trait_path(),
- })
- }
+ (
+ ty::Opaque(def_id, _),
+ ty::PredicateKind::Clause(ty::Clause::Trait(trait_pred)),
+ ) => Some(AddBound {
+ suggest_span: cx.tcx.def_span(*def_id).shrink_to_hi(),
+ trait_ref: trait_pred.print_modifiers_and_trait_path(),
+ }),
_ => None,
};
cx.emit_spanned_lint(