tree afda85ffbf0f7043cf547d369065b2402a8f3c5a
parent 464c2760a67392dacdd4c0b327fb46127278f014
author Ian Zerny <zerny@google.com> 1688640630 +0200
committer Ian Zerny <zerny@google.com> 1688640630 +0200

Disable record desugaring

Bug: b/286362240
Change-Id: I20514e2ff22b7fb767bcf255f9ee7ac58e16a9e0