tree be88da3b3e1853fe624d9346e16ce670bd9845d7
parent b7d92d9f73ed78732a73927cbbad2b6a96d29bf4
author Dominik Laskowski <domlaskowski@google.com> 1665413740 -0400
committer Dominik Laskowski <domlaskowski@google.com> 1666134229 -0400

FTL: Add invariant for non-null pointers

Upcasting is not supported for now.

Bug: 185536303
Test: ftl_test
Change-Id: Id37d3e9a4a794291417405eb2a8a300a9d2bfe72