tree 753179b73e9d116ce8fadd6600c734205bcd2ce5
parent 506b94d0c861e817d000b84e4bd9860598a1eed5
author Christoffer Quist Adamsen <christofferqa@google.com> 1687419925 +0200
committer Christoffer Adamsen <christofferqa@google.com> 1687420041 +0000

Reproduce incorrect type refinement in verifier

Bug: b/288273207
Change-Id: Ia57ace0403296c3ce07c2b08acb75866386d3abd