checkers.igj.quals
Annotation Type Assignable

@Documented
@Retention(value=RUNTIME)
@Target(value=FIELD)
public @interface Assignable

Indicates the annotated Field may be re-assigned regardless of the immutability of the enclosing class or object instance.

See the Checker Framework manual:

IGJ Checker