scala.tools.nsc.typechecker.PatternMatching
(dPLLSolver: StringAdd).self
(dPLLSolver: StringFormat).self
(dPLLSolver: ArrowAssoc[DPLLSolver]).x
(Since version 2.10.0) Use leftOfArrow
instead
(dPLLSolver: Ensuring[DPLLSolver]).x
(Since version 2.10.0) Use resultOfEnsuring
instead