search

panacekcz / checker-framework

Pluggable type-checking for Java
http://checkerframework.org/
Other
0 stars 0 forks source link

Length refinement by startsWith, endsWith with a static final variable #9

Closed panacekcz closed 6 years ago

panacekcz commented 7 years ago

This pattern is currently supported for literals (typetools#1432), but does not work when a static final variable is used instead.

panacekcz commented 6 years ago

Fixed by typetools#1453.