Report question

Question: Is it possible to extend the Scala compiler to infer return types of recursive methods?