@@ -96,7 +96,7 @@ pub fn contains_ty_adt_constructor_opaque<'tcx>(cx: &LateContext<'tcx>, ty: Ty<'
96
96
return false ;
97
97
}
98
98
99
- for ( predicate, _span) in cx. tcx . explicit_item_super_predicates ( def_id) . iter_identity_copied ( ) {
99
+ for ( predicate, _span) in cx. tcx . explicit_item_self_bounds ( def_id) . iter_identity_copied ( ) {
100
100
match predicate. kind ( ) . skip_binder ( ) {
101
101
// For `impl Trait<U>`, it will register a predicate of `T: Trait<U>`, so we go through
102
102
// and check substitutions to find `U`.
@@ -322,7 +322,7 @@ pub fn is_must_use_ty<'tcx>(cx: &LateContext<'tcx>, ty: Ty<'tcx>) -> bool {
322
322
} ,
323
323
ty:: Tuple ( args) => args. iter ( ) . any ( |ty| is_must_use_ty ( cx, ty) ) ,
324
324
ty:: Alias ( ty:: Opaque , AliasTy { def_id, .. } ) => {
325
- for ( predicate, _) in cx. tcx . explicit_item_super_predicates ( def_id) . skip_binder ( ) {
325
+ for ( predicate, _) in cx. tcx . explicit_item_self_bounds ( def_id) . skip_binder ( ) {
326
326
if let ty:: ClauseKind :: Trait ( trait_predicate) = predicate. kind ( ) . skip_binder ( ) {
327
327
if cx. tcx . has_attr ( trait_predicate. trait_ref . def_id , sym:: must_use) {
328
328
return true ;
@@ -712,7 +712,7 @@ pub fn ty_sig<'tcx>(cx: &LateContext<'tcx>, ty: Ty<'tcx>) -> Option<ExprFnSig<'t
712
712
ty:: Alias ( ty:: Opaque , AliasTy { def_id, args, .. } ) => sig_from_bounds (
713
713
cx,
714
714
ty,
715
- cx. tcx . item_super_predicates ( def_id) . iter_instantiated ( cx. tcx , args) ,
715
+ cx. tcx . item_self_bounds ( def_id) . iter_instantiated ( cx. tcx , args) ,
716
716
cx. tcx . opt_parent ( def_id) ,
717
717
) ,
718
718
ty:: FnPtr ( sig_tys, hdr) => Some ( ExprFnSig :: Sig ( sig_tys. with ( hdr) , None ) ) ,
0 commit comments