tree e7f0ddf3378fbca254b304db168a1c6753b64a99
parent 0c82816644589acf7cab0e1ae73dfd3dfd045758
author Morten Krogh-Jespersen <mkroghj@google.com> 1678363156 +0100
committer Morten Krogh-Jespersen <mkroghj@google.com> 1678697010 +0000

Ensure correct pruning of type annotations

Bug: b/271543766
Change-Id: Ibb200fa2456504cd5cbeab2f369143173f92448c