Function explicit_implied_predicates_of 

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