tree 1505fe64cce1ff2a8cf1486e55d24b5388119aa6
parent 53404978f7c8d53d91b5b4ae6eca0c1180a20328
author Ian Zerny <zerny@google.com> 1611218096 +0100
committer Ian Zerny <zerny@google.com> 1611221709 +0000

Model possibly missing interfaces.

This CL amends the interface collection in the type lattice to denote
possibly missing interfaces. The known issue of ZipFile not
implementing Closeable is modeled as such a potentially missing
interface on pre-19 APIs.

Bug: 177532008
Change-Id: I110e8bba9dfd2214f787277bc456bf7bab34586b