am 3f4b39de: Merge "Further refinements to checkcast/instanceof."

* commit '3f4b39dec9ec6b8948ed18b9d65ba49db2465004':
  Further refinements to checkcast/instanceof.