This annotation is used on a formal parameter to indicate that the parameter is not leaked (stored in a location that could be accessed later) nor returned by the method body.

For example, the parameter of String#String(String s) is @NonLeaked, because the method only uses the parameter to make a copy of it.

This annotation is currently trusted, not checked.