scala.tools.nsc.backend.icode.analysis.TypeFlowAnalysis.MethodTFA
A type that does not depend on input to the transfer function.
Return the type kind pointed by this inferred type.
(Since version 2.8.0) use productIterator instead
A type that does not depend on input to the transfer function.