Check that tp
is a class type.
Check that tp
is a class type.
Also, if traitReq
is true, check that tp
is a trait.
Also, if stablePrefixReq
is true and phase is not after RefChecks,
check that class prefix is stable.
tp
itself if it is a class or trait ref, ObjectType if not.
Check that any top-level type arguments in this type are feasible, i.e.
Check that any top-level type arguments in this type are feasible, i.e. that their lower bound conforms to their upper bound. If a type argument is infeasible, issue and error and continue with upper bound.
Check that a non-implicit parameter making up the first parameter section of an implicit conversion is not a singleton type.
Check that tree
is a pure expression of constant type
Check that class does not define same symbol twice
Check that tpt
does not refer to a singleton type
Check that all type members of tp
have realizable bounds
Check that tpt
does not define a higher-kinded type
Check that type tp
is stable.
Check that Java statics and packages can only be used in selections.