scala/scala — comment on commit c800d1fec5241ed8c29e5af30465856f9b583246
File:  line 0
By adriaanm:

I'd recommend turning the asserts you've added in this commit into debug log statements with meaningful output.

I already tripped on one of them ("try typed args is ok" -- but what does it meeeeaaaan!?) -- see https://github.com/scala/scala/blob/c800d1fec5241ed8c29e5af30465856f9b583246/src/compiler/scala/tools/nsc/typechecker/Typers.scala#L3483.

I tried to extract a reproducable snippet, but couldn't trigger the condition outside of the context of PatMatVirtualizer.scala

the typo (casesDefs) in the following snippet triggered it the first time:
```scala
object Test {
trait CaseDef { val pos: String }
def combineCasesForTry(casesDefs: List[CaseDef]): List[CaseDef] =
{
val pos = caseDefs.head.pos

val catches = {
val caseBindersAndMakers = caseDefs map { caseDef =>
val caseScrutSym = freshSym(pos, pureType(ThrowableClass.tpe))
(caseScrutSym, propagateSubstitution(translateCase(caseScrutSym, okPt)(caseDef), EmptySubstitution))
}

(emitTypeSwitch(caseBindersAndMakers, pt) map (_.map(fixerUpper(owner, pos).apply(_).asInstanceOf[CaseDef])))
}
}
}
````