1. 51

  2. 2

    I still remember when they showed that a type with bad bounds could be constructed, but didn’t introduce soundness problems in DOT, as the type was uninhabited.

    And then it was promptly shot into pieces as Dotty/Scala happily accepted null in that place. (Link)

    Good times!