Is it really sweeping under the rug? Not only the author of the bitrot paper himself answered the question on stackoverflow by pointing out the problems, he also gave the impression that they're working on eliminating the limitation: "can't abstract over the variance annotation (yet ;-))"

Scala mailing lists are open to everyone ;)