An annotation representing a capture set and whether it is boxed.
It simulates a normal @retains annotation except that it is more efficient,
supports variables as capture sets, and adds a boxed flag.
These annotations are created during capture checking. Before that
there are only regular @retains and @retainsByName annotations.
Attributes
boxed
whether the type carrying the annotation is boxed
cls
the underlying class (either annotation.retains or annotation.retainsByName)
Normally, applies a type map to all tree nodes of this annotation, but can
be overridden. Returns EmptyAnnotation if type type map produces a range
type, since ranges cannot be types of trees.
Normally, applies a type map to all tree nodes of this annotation, but can
be overridden. Returns EmptyAnnotation if type type map produces a range
type, since ranges cannot be types of trees.