Suggest `@Pure` via warning for methods annotated with both `@SideEffectFree` and `@Deterministic` - Githubissues

typetools / checker-framework

Pluggable type-checking for Java

http://checkerframework.org/

Other

990 stars 347 forks source link

Suggest `@Pure` via warning for methods annotated with both `@SideEffectFree` and `@Deterministic` #6594

Closed jyoo980 closed 2 weeks ago