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