Re: RFD: Notes in String.toUpperCase(), String.toLowerCase() could be more specific refering to "locale"

2023-04-13 Thread Eirik Bjørsnøs
> > Any thoughts? > I'll add my own thoughts, which is that busy developers cannot be expected to do the "right thing" if they don't understand the API Note. Improving the note such that more developers understand the consequences of using the method should help developers write more correct

RFD: Notes in String.toUpperCase(), String.toLowerCase() could be more specific refering to "locale"

2023-04-13 Thread Eirik Bjørsnøs
Hello, During a discussion about the deprecation of String.toLowerCase(), String.toUpperCase [1], it occurred to me that the current Note in the API documentation could be more specific when talking about locales. Before going ahead and suggesting a PR/CSR, I'd like to socialize the idea that we