On Jun 12, 2024, at 4:02 PM, David G. Johnston <david.g.johnston@gmail.com> wrote:
> Adding Andrew.
Thank you.
> I'm willing to call this an open item against this feature as I don't see any documentation explaining that string()
behavesdifferently than the others.
Maybe there’s some wording in the standard on this topic?
I’m happy to provide a patch to auto-unwrap .string() in lax mode. Seems pretty straightforward.
D