tree 4c3ae810a12405a1abbf6ca3b15af1e4968bf238
parent 1a1a2b69c7e993a446b55519849c70196f7357f0
author Christoffer Quist Adamsen <christofferqa@google.com> 1555417167 +0200
committer Christoffer Quist Adamsen <christofferqa@google.com> 1555482645 +0000

Rename NonNull instruction to Assume

Bug: 129860265
Change-Id: Ib9d8bbc01c38ff0f1de85bfb0d3a412ba2bad88f