scala.tools.nsc.typechecker.PatternMatching.SymbolicMatchAnalysis
(negativeExample: StringAdd).self
(negativeExample: StringFormat).self
(negativeExample: ArrowAssoc[(SymbolicMatchAnalysis.this)#NegativeExample]).x
(Since version 2.10.0) Use leftOfArrow
instead
(negativeExample: Ensuring[(SymbolicMatchAnalysis.this)#NegativeExample]).x
(Since version 2.10.0) Use resultOfEnsuring
instead