This transformer leaves the tree alone except to remap its types.
Check whether two lists have elements that are eq-equal
Check whether two lists have elements that are eq-equal
Should this map drop annotations that are not type-constraint annotations?
Should this map drop annotations that are not type-constraint annotations?
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.
The variance relative to start.
The variance relative to start. If you want variances to be significant, set variance = 1 at the top of the typemap.
The raw to existential map converts a
raw type to an existential type. It is necessary because we might have read a raw type of a parameterized Java class from a class file. At the time we read the type the corresponding class file might still not be read, so we do not know what the type parameters of the type are. Therefore the conversion of raw types to existential types might not have taken place in ClassFileparser.sigToType (where it is usually done)