- (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(),
+ }),