Function explicit_super_clauses_of 

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