scala.tools.nsc.typechecker.Checkable
TODO: much better error positions.
TODO: much better error positions. Kind of stuck right now because they just pass us the one tree. TODO: Eliminate inPattern, canRemedy, which have no place here.
(inferCheckable: StringAdd).self
(inferCheckable: StringFormat).self
(inferCheckable: ArrowAssoc[Analyzer.InferCheckable]).x
(Since version 2.10.0) Use leftOfArrow
instead
(inferCheckable: Ensuring[Analyzer.InferCheckable]).x
(Since version 2.10.0) Use resultOfEnsuring
instead