```
@Documented
@Retention(RUNTIME)
@Target(PARAMETER)
public @interface FindDistinct
```
This formal parameter annotation indicates that the method searches for the given value, using reference equality (==).
Within the method, the formal parameter should be compared with == rather than with equals(). However, any value may be passed to the method, and the Interning Checker does not verify that use of == within the method is logically correct.

See Also:

InterningChecker

See the Checker Framework Manual:
Interning Checker

Annotation Type FindDistinct