Package com.facebook.infer.annotation

Annotation Type NullsafeStrict

@Retention(CLASS)
@Target(TYPE)
public @interface NullsafeStrict

A class annotated with @NullsafeStrict means more exsaustive checks for nullsafe. The main invariant of strict mode is the following: If the function passes @NullsafeStrict check and its return value is NOT annotated as @Nullable, then the function does not indeed return nulls, subject to unsoundness issues (which should either be fixed, or should rarely happen in practice).