Appendable needs JDK annotations

kelloggm / checker-framework

Pluggable type-checking for Java

http://checkerframework.org/

Other

0 stars 2 forks source link

Open mernst opened 7 years ago

kelloggm commented 7 years ago

This is dependent on String support #80; in particular, appendable uses CharSequences.