This transformer leaves the tree alone except to remap its types.
Check that type tree
does not refer to entities
defined in scope scope
.
Check that type tree
does not refer to entities
defined in scope scope
.
...
...
...
...
Map a tree that is part of an annotation argument.
Map a tree that is part of an annotation argument. If the tree cannot be mapped, then invoke giveup(). The default is to transform the tree with TypeMapTransformer.
Map this function over given list of symbols
Map this function over given list of symbols
Map this function over given scope
Map this function over given scope
Map this function over given type
Map this function over given type
Map over a set of annotation arguments.
Map over a set of annotation arguments. If any of the arguments cannot be mapped, then return Nil.
Called by mapOver to determine whether the original symbols can be returned, or whether they must be cloned.
Called by mapOver to determine whether the original symbols can be returned, or whether they must be cloned. Overridden in VariantTypeMap.
Check that type tree
does not refer to private
components unless itself is wrapped in something private
(owner
tells where the type occurs).
Check that type tree
does not refer to private
components unless itself is wrapped in something private
(owner
tells where the type occurs).
...
...
...
Mix in VariantTypeMap if you want variances to be significant.
Mix in VariantTypeMap if you want variances to be significant.
Check that type of given tree does not contain local or private components.