tree 28829d539d3d0e05f3885543f36b51addd57cb0c
parent 83d7ecd334fe3e32bd8528e5f30121b60443bc5e
author Christoffer Adamsen <christofferqa@google.com> 1717071869 +0200
committer Christoffer Adamsen <christofferqa@google.com> 1717071869 +0200

Reproduce verification error from invalid type propagation in verifier

Bug: b/335663487
Change-Id: I23fc9e7fb2806caf9596c3a56b58bdee576d82ce