tree 174e811aa74a6a8ed5b917cd9ff7b3df0eabf11f
parent 0924325835bad535b7e36ad0fa385607baf086de
author Morten Krogh-Jespersen <mkroghj@google.com> 1559675558 +0200
committer Morten Krogh-Jespersen <mkroghj@google.com> 1559675602 +0000

Update the type-information after checkcast removal

We remove trivial checkcasts when we know casting the type is safe,
thus the type information will at least be the cast type. We can
therefore narrow the values further to allow for more precise
information.

Bug: 133739171
Change-Id: I3da2a45d350985a55984eaf9182fb87d9996807f