| commit | 04534e26ed13397d0a1f244d71ed758f368d5553 | [log] [tgz] |
|---|---|---|
| author | Dominik Laskowski <domlaskowski@google.com> | Mon Oct 10 10:55:40 2022 -0400 |
| committer | Dominik Laskowski <domlaskowski@google.com> | Tue Oct 18 19:03:49 2022 -0400 |
| tree | be88da3b3e1853fe624d9346e16ce670bd9845d7 | |
| parent | b7d92d9f73ed78732a73927cbbad2b6a96d29bf4 [diff] |
FTL: Add invariant for non-null pointers Upcasting is not supported for now. Bug: 185536303 Test: ftl_test Change-Id: Id37d3e9a4a794291417405eb2a8a300a9d2bfe72