<p>
      A possibly-null value is passed at a call site where all known
      target methods require the parameter to be nonnull.
	Either the parameter is annotated as a parameter that should
	always be nonnull, or analysis has shown that it will always be 
	dereferenced.
      </p>