Awesome! I haven’t been able to use https://pkg.pr.new/rescript-lang/rescript@8246 without having other issues; but your fix pointed me to a workaround:
(extracting the JSON pattern from the record pattern).
I expect this gets merged and released soon
Thanks!