The maximal dimensions of a generic array creation.
The maximal dimensions of a generic array creation. I.e. new Array[Array[Array[Array[Array[T]]]]] creates a 5 times nested array. More is not allowed.
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 }.
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?
Note: don't use this manifest/type function for anything important, as it is incomplete.
Note: don't use this manifest/type function for anything important, as it is incomplete. Would love to have things like existential types working, but very unfortunately the manifests just stuff the relevant information into the toString method.
T1 means one type parameter.
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
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