scala/scala — pull request #1742 by xeno-by (2012-12-09 23:51:40+00:00)
Title: prevents spurious kind bound errors

The patch adds a check which makes sure that the trees we're about to
report aren't already erroneous.