Function explicit_super_predicates_of 

fn explicit_super_predicates_of<'tcx>() -> EarlyBinder<'tcx, &'tcx [(Clause<'tcx>, Span)]>