scala.internal
Members
Chars
Contains constants and classifier methods for characters
Contains constants and classifier methods for characters
MatchCase
[Pat, +Body]A type constructor for a case in a match type.
A type constructor for a case in a match type.
TypeBox
[-L, +U]A type for skolems that are generated during capture conversion. Capture conversion narrows the type of a tree whose type has wildcard arguments. A typ...
A type for skolems that are generated during capture conversion. Capture conversion
narrows the type of a tree whose type has wildcard arguments. A typical situation
is a tree t of type C[_ >: L <: U] and an expected type C[X] where X is an
instantiatable type variable. To be able to instantiate X, we cast the tree to type
X[$n.CAP] where $n is a fresh skolem type with underlying type TypeBox[L, U].