| Annotation Type | Description |
|---|---|
| EnsuresCalledMethodsVarArgs |
Indicates that the method, if it terminates successfully, always invokes the given methods on all
of the arguments passed in the varargs position.
|
| NotOwning |
Annotation indicating ownership should be transferred to the parameter or field, for the purposes
of MustCall checking.
|
| Owning |
Annotation indicating ownership should be transferred to the parameter or field, for the purposes
of MustCall checking.
|