@@ -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_bounds ( def_id) . instantiate_identity_iter_copied ( ) {
99
+ for ( predicate, _span) in cx. tcx . explicit_item_super_predicates ( def_id) . instantiate_identity_iter_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`.
@@ -328,7 +328,7 @@ pub fn is_must_use_ty<'tcx>(cx: &LateContext<'tcx>, ty: Ty<'tcx>) -> bool {
328
328
} ,
329
329
ty:: Tuple ( args) => args. iter ( ) . any ( |ty| is_must_use_ty ( cx, ty) ) ,
330
330
ty:: Alias ( ty:: Opaque , ty:: AliasTy { def_id, .. } ) => {
331
- for ( predicate, _) in cx. tcx . explicit_item_bounds ( def_id) . skip_binder ( ) {
331
+ for ( predicate, _) in cx. tcx . explicit_item_super_predicates ( def_id) . skip_binder ( ) {
332
332
if let ty:: ClauseKind :: Trait ( trait_predicate) = predicate. kind ( ) . skip_binder ( ) {
333
333
if cx. tcx . has_attr ( trait_predicate. trait_ref . def_id , sym:: must_use) {
334
334
return true ;
@@ -729,7 +729,7 @@ pub fn ty_sig<'tcx>(cx: &LateContext<'tcx>, ty: Ty<'tcx>) -> Option<ExprFnSig<'t
729
729
ty:: Alias ( ty:: Opaque , ty:: AliasTy { def_id, args, .. } ) => sig_from_bounds (
730
730
cx,
731
731
ty,
732
- cx. tcx . item_bounds ( def_id) . iter_instantiated ( cx. tcx , args) ,
732
+ cx. tcx . item_super_predicates ( def_id) . iter_instantiated ( cx. tcx , args) ,
733
733
cx. tcx . opt_parent ( def_id) ,
734
734
) ,
735
735
ty:: FnPtr ( sig) => Some ( ExprFnSig :: Sig ( sig, None ) ) ,
@@ -807,7 +807,7 @@ fn sig_for_projection<'tcx>(cx: &LateContext<'tcx>, ty: AliasTy<'tcx>) -> Option
807
807
808
808
for ( pred, _) in cx
809
809
. tcx
810
- . explicit_item_bounds ( ty. def_id )
810
+ . explicit_item_super_predicates ( ty. def_id )
811
811
. iter_instantiated_copied ( cx. tcx , ty. args )
812
812
{
813
813
match pred. kind ( ) . skip_binder ( ) {
0 commit comments