Constructors
Members
The dependency status of this method. Some examples:
class C extends { type S; type T = String } def f(x: C)(y: Boolean) // dependencyStatus = NoDeps d...
The dependency status of this method. Some examples:
class C extends { type S; type T = String } def f(x: C)(y: Boolean) // dependencyStatus = NoDeps def f(x: C)(y: x.S) // dependencyStatus = TrueDeps def f(x: C)(y: x.T) // dependencyStatus = FalseDeps, i.e. // dependency can be eliminated by dealiasing.
Does one of the parameter types contain references to earlier parameters of this method type which cannot be eliminated by de-aliasing?
Does one of the parameter types contain references to earlier parameters of this method type which cannot be eliminated by de-aliasing?
The parameter dependency status of this method. Analogous to dependencyStatus
,
but tracking dependencies in same parameter list.
The parameter dependency status of this method. Analogous to dependencyStatus
,
but tracking dependencies in same parameter list.
The resultType of a PolyType, MethodType, or ExprType, the type itself for others
The resultType of a PolyType, MethodType, or ExprType, the type itself for others