[11] RFR: 4993841: (str) java.lang.Character should have a toString(int) method

[Remi Forax]

Just to be sure, it now means that a code like this will work

  String s = "hello".chars()
        .mapToObj(Character::toString)
        .collect(Collectors.joining());

Rémi

----- Mail original -----
> De: "naoto sato" <naoto.sato at oracle.com>
> À: "Stuart Marks" <stuart.marks at oracle.com>, "Xueming Shen" <xueming.shen at gmail.com>, "core-libs-dev"
> <core-libs-dev at openjdk.java.net>
> Envoyé: Vendredi 2 Mars 2018 03:47:51
> Objet: [11] 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().[1] The
> corresponding CSR has already been approved.
> 
> Naoto
> 
> --
> [1]
> http://mail.openjdk.java.net/pipermail/core-libs-dev/2018-February/051568.html