On Wed, 1 Feb 2023 09:31:35 GMT, Alexey Ushakov <[email protected]> wrote:
>> Which API exactly? I didn't know there is any, so I added this as a helper >> method. > > I suppose it's > https://docs.oracle.com/en/java/javase/17/docs/api/java.base/java/lang/Character.html#charCount(int) Oh thank you! There is `toChars` actually. ------------- PR: https://git.openjdk.org/jdk/pull/4798
