Function explicit_implied_clauses_of 

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