lampepfl/dotty — pull request #293 by smarter (2014-12-16 00:38:29+00:00)
Title: Avoid spurious warnings about forward references in refinements

The warning was triggered by cases like:
class A
type F = A { type T = Int; def f: T }
Which is treated differently from the following which did not produce a warning:
type F = A { type T = Int } { def f: T }

Review by @odersky