commit | fc38e919bad23670e38a484d4728f300406415c3 | [log] [tgz] |
---|---|---|
author | Nicolas Geoffray <ngeoffray@google.com> | Thu Mar 16 16:51:59 2017 +0000 |
committer | Nicolas Geoffray <ngeoffray@google.com> | Fri Mar 17 08:59:25 2017 +0000 |
tree | ec249a6773e571244d30c980263e32c750fb4c96 | |
parent | f83f3f6ecb1153d96cc8007e8a0d1e35af4d3f38 [diff] |
Do not assume type relationship when recording "not assignable" The verifier may record that an interface I does not extend a class A. If A is not j.l.Object, this is always true, but A might change after a system update from a class to an interface. bug: 34849974 test: verifier_deps_test Change-Id: Ic2876edce9a2a6f7b402420a5e01763aba2b39a4