Warning for trivial infinite looping method definition

This happens to me with embarrassing regularity:

```scala
trait A { def a: Int }
def foo(a: Int) {
  new A {
    def a = a
  }
}
```

A warning would be lovely. If could be cleared with `def a = this.a` in case someone really wants to use this construct to contribute to global warming.