Annotation Interface UnknownVal


UnknownVal is a type annotation indicating that the expression's value is not known at compile type.
See the Checker Framework Manual:
Constant Value Checker