Yes indeed. A nice surprise to stumble upon my old blog post again here.

I don't think much has changed since then, most of the problems are still there in newer Java versions. And that's fine, in practice they don't hurt. Still imo interesting curiosities of the type system.