scala.tools.nsc.backend.icode.analysis.TypeFlowAnalysis.MethodTFA
Return the type kind pointed by this inferred type.
(Since version 2.10.0) Use leftOfArrow instead
(Since version 2.10.0) Use resultOfEnsuring instead