Specifies that an output is not null even if the corresponding type allows it. Specifies that an input argument was not null when the call returns.