I'm sure I've misunderstood something, but AFAIK the code example you gave
is already valid code and was valid as far back as Java 8 (I don't have an
IDE at hand to confirm this).
Did you perhaps mean to ask instead that the code snippet below would work
with the resolution of
being that it uses .codePoints() instead of .chars())? Or have I completely
lost the plot?
String s = "hello".codePoints()
On 3 March 2018 at 00:42, Remi Forax <fo...@univ-mlv.fr> wrote:
> Just to be sure, it now means that a code like this will work
> String s = "hello".chars()
> ----- Mail original -----
> > De: "naoto sato" <naoto.s...@oracle.com>
> > À: "Stuart Marks" <stuart.ma...@oracle.com>, "Xueming Shen" <
> xueming.s...@gmail.com>, "core-libs-dev"
> > <firstname.lastname@example.org>
> > Envoyé: Vendredi 2 Mars 2018 03:47:51
> > Objet:  RFR: 4993841: (str) java.lang.Character should have a
> toString(int) method
> > Hi,
> > Please review the fix to the following issue:
> > https://bugs.openjdk.java.net/browse/JDK-4993841
> > The proposed changeset is located at:
> > http://cr.openjdk.java.net/~naoto/4993841/webrev.03/
> > This stems from the recent discussion regarding String.repeat(). The
> > corresponding CSR has already been approved.
> > Naoto
> > --
> > 
> > http://mail.openjdk.java.net/pipermail/core-libs-dev/2018-