Short answer: ti my knowledge, if you can make a string contain invalid
codepoints, it is a bug and should be reported so that it can be fixed.
> On 15 Sep 2019, at 23:08, Darren Duncan wrote:
>
> I'm defining an API that takes only well formed Str objects, meaning it would
> only accept Str
I'm defining an API that takes only well formed Str objects, meaning it would
only accept Str whose Unicode codepoints are all in the set
{0..0xD7FF,0xE000..0x10} and in particular there are no UTF-16 surrogate
characters, and it would do so as a yes/no stricture without coercing anything