scala.tools.nsc.matching.ParallelMatching.MatchMatrix
translate outcome of the rule application into code (possible involving recursive application of rewriting)
translate outcome of the rule application into code (possible involving recursive application of rewriting)
Mixture rule for type tests. moreSpecific: more specific patterns subsumed: more general patterns (subsuming current), rows index and subpatterns remaining: remaining, rows index and pattern