tree defaf3239440eaecac84469f30f7232da07e7c2b
parent ae9daae88d5a2f6e8c2826d6c07a2b661d8158d2
author Ian Zerny <zerny@google.com> 1559033642 +0200
committer Morten Krogh-Jespersen <mkroghj@google.com> 1559036008 +0000

Make type evaluation of checkcast invariant except for nullability info.

The check cast provides a static contract for the verification of code, so the
type should reflect exactly the check cast type. The check-cast removal
optimizations could and should remove or refine the instruction.

Change-Id: I7e50e15b2fab66d95520d8a6454eb93536156267