Что именно улучшилось в Scala благодаря сопоставлению с образцом в версии 2.10?

Мне показалось интересным, что эта головоломка, в частности этот код:

val (i, j): (Int, Int) = ("3", "4")

Сбой во время выполнения в Scala 2.9.1, но сбой во время компиляции с 2.10 M3 (который отлично). Я пытаюсь отслеживать, что будет в новых выпусках Scala, но не могу соединить все точки здесь. Какое улучшение привело к такому более точному поведению?