lampepfl/dotty — pull request #155 by odersky (2014-07-22 16:46:38+00:00)
Title: Tailrec tc

Fixes final remaining problem in #154. Review by @DarkDimius