tree 4b7ee9f8123b38d5eb13054bdc8a30554d2c23aa
parent 4a2ddb630247b6f165008ed6d0be9aa2bf468287
author Jinseong Jeon <jsjeon@google.com> 1534192725 -0700
committer Jinseong Jeon <jsjeon@google.com> 1534192725 -0700

Reproduce b/112452064.

interface Super
interface Sub extends Super
class Impl implements Super // not Sub

  v <- instance of Impl
  invoke ...v mtd(...; Sub)

ART tries to verify the actual argument (v) is an instance of parameter
type Sub. R8 drops Sub as it is not implemented.

This broken type relation can happen:

interface Super { foo() }
interface Sub extends Super

  v <- new Sub() { foo() { ... } }
  invoke ...v mtd(...; Sub)

where that anonymous class is instantiated to a class definition,
implementing Sub's super interfaces directly.

Bug: 112452064
Change-Id: Icb24b6f5d7a18b1a917da64af94fb14f818fdedc