checkers.igj.quals

Annotation Type Assignable

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