The question about "what about F-bounds" is a good one; thanks for
raising this. Needs further thought.
But, while I agree you've raised a problem, I think it's a pretty big
leap to the "solution" you propose. So let's table that (re-)proposal
pending a deeper understanding of the problem, and its relation to the
other requirements.
On 5/10/2019 4:50 PM, Remi Forax wrote:
Let's say i have this interface:
interface Orderable<T extends Orderable<T>> {
boolean lessThan(T t);
}
and i want my inline class to implement it:
@__inline__ class FooOrderable implements Orderable<FooOrderable?> {
...
@Override
public boolean lessThan(FooOrderable? foo) {
return false;
}
}
how i'm suppose to write it given that the bound of FooOrderable as to be
Orderable<FooOrderable> but Orderable<FooOrderable> is not a valid type ?
I think that we have moved from a generic of an inline class is unsafe (because
of the NPEs) to it's an illegal type a little to fast.
I believe we should emit an unchecked warning instead with the definition of
unchecked to be widened to include not only the CCEs but also the NPEs.
Rémi
