On Jun 12, 2024, at 4:02 PM, David G. Johnston <david.g.johns...@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() behaves differently 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