| commit | 04f94f4f02093fa0fc58007fd5f4ef4c58f8270a | [log] [tgz] |
|---|---|---|
| author | Ian Rogers <irogers@google.com> | Mon Jun 10 15:09:26 2013 -0700 |
| committer | Ian Rogers <irogers@google.com> | Mon Jun 10 15:09:26 2013 -0700 |
| tree | 2f42e40ccb002fbdce22c1d2d64e1f666ba09649 | |
| parent | 0dc9d342bed34c3f1ce5268ff7a6e27cdb9490d9 [diff] |
Don't always mark array types as precise. Array types are always final, as they cannot be sub-classed, they may be assigned by types that aren't themselves, e.g. Object[] may be assigned a String[]. Introduce CannotBeAssignedFromOtherTypes to capture this property and use in the verifier instead of IsFinal to mark things as precise. Change-Id: I34debd3164ca1b876be94b6722457cee6e1e9bd3