This is valid in Java 8 :scream: ``` public class ...

# random

[kirillrakhman]

This is valid in Java 8 😱

public class Foo implements Comparable<Foo> {
    @Override
    public int compareTo(Foo this, @NotNull final Foo o) {
        return 0;
    }
}

[elizarov]

kirillrakhman: It was added to Java 8 syntax to enable type annotations on (implicit) receivers by allowing to declare them as explicit parameters with name “this"

[kirillrakhman]

But what's the use case? Obviously not @NotNull since this can never be null

[elizarov]

Anything. Look at checkers framework. @Readonly, for example. But not limited to it

[kirillrakhman]

Interesting. It looks like partial methods might be implemented with this syntax according to http://mail.openjdk.java.net/pipermail/valhalla-spec-experts/2015-December/000028.html

[kirillrakhman]

although this is from 2015. not sure about the current state