tree 7a0d028a74d85290f2a377b29e939b8648ecd8bb
parent 7b961ecfcfe27c4729839a1ac9837883a704996e
author Morten Krogh-Jespersen <mkroghj@google.com> 1678363138 +0100
committer Morten Krogh-Jespersen <mkroghj@google.com> 1678697010 +0000

Add test for incorrect pruning with type annotations

Bug: b/271543766
Change-Id: If81d193bfbaf89a4e4643f93ef05b729465ccc25