ktoso/scala-types-of-types — pull request #7 by knutwalker (2013-12-31 19:38:35+00:00)
Title: Annotation rule about recursive/overloaded methods

There are some additional cases where you need to have a Type Annotation, e.g. partially applied functions (`3 + (_: Double)`), but this might be out of scope and also, the compiler will tell you, if it's missing an annotation