scala/scala — pull request #513 by axel22 (2012-05-08 15:37:51+00:00)
Title: Issue/5564

Catching typer errors in specialization.

Review by plociniczak.