Specialization.
Given type U, creates a Type representing Class[_ <: U].
Given a class symbol C with type parameters T1, T2, .
Given a class symbol C with type parameters T1, T2, ... Tn which have upper/lower bounds LB1/UB1, LB1/UB2, ..., LBn/UBn, returns an existential type of the form
C[E1, ..., En] forSome { E1 >: LB1 <: UB1 ... en >: LBn <: UBn }.
Order a list of types with non-trait classes before others.
Using getDecl rather than getMember may avoid issues with OverloadedTypes turning up when you don't want them, if you know the method in question is uniquely declared in the given owner.
if tpe <: ProductN[T1,.
if tpe <: ProductN[T1,...,TN], returns List(T1,...,TN) else Nil
Is symbol a boxed value class, e.
Is symbol a boxed value class, e.g. java.lang.Integer?
returns true if this type is exactly ProductN[T1,.
returns true if this type is exactly ProductN[T1,...,Tn], not some subclass
Is symbol a numeric value class?
Is symbol a numeric value class?
Is type's symbol a numeric value class?
Is symbol a phantom class for which no runtime representation exists?
Is the symbol that of a parent which is added during parsing?
Is sym
a member of Predef with the given name?
Note: DON't replace this by sym == Predef_conforms/etc, as Predef_conforms is a def
which does a member lookup (it can't be a lazy val because we might reload Predef
during resident compilations).
Is symbol a value class?
Is symbol a value class?
T1 means one type parameter.
The following transformations applied to a list of parents.
The following transformations applied to a list of parents. If any parent is a class/trait, all parents which normalize to Object are discarded. Otherwise, all parents which normalize to Object except the first one found are discarded.
Remove references to class Object (other than the head) in a list of parents
Remove all but one reference to class Object from a list of parents.
Creators for TupleN, ProductN, FunctionN.
If symbol is a value class (boxed or not), return the unboxed value class.
If symbol is a value class (boxed or not), return the unboxed value class. Otherwise, NoSymbol.
(Since version 2.10.0) Use AnyRefModule
(Since version 2.10.0) Use getClassByName
(Since version 2.10.0) Use isTupleType
To avoid unchecked warnings on polymorphic classes, translate a Foo[T] into a Foo[_] for use in the pattern matcher.
To avoid unchecked warnings on polymorphic classes, translate a Foo[T] into a Foo[_] for use in the pattern matcher.
(Since version 2.10.0) Use classExistentialType
(Since version 2.10.0) Use leftOfArrow instead
(Since version 2.10.0) Use resultOfEnsuring instead