Function explicit_implied_const_bounds 

fn explicit_implied_const_bounds<'tcx>() -> EarlyBinder<'tcx, &'tcx [(PolyTraitRef<'tcx>, Span)]>