Undo hack

Author: Blaisorblade

compiler/src/dotty/tools/dotc/transform/patmat/Space.scala

@@ -597,7 +597,9 @@ class SpaceEngine(implicit ctx: Context) extends SpaceLogic {
       case tp: RefinedType =>
         recur(tp.parent)
       case tp: TypeRef =>
-        (tp.prefix.stripTypeVar == defn.NothingType || recur(tp.prefix)) && !(tp.classSymbol.is(AbstractFinal))
+        recur(tp.prefix) && !(tp.classSymbol.is(AbstractFinal))
+        //(tp.prefix.stripTypeVar == defn.NothingType || recur(tp.prefix)) && recur(tp.info.hiBound) && !(tp.classSymbol.is(AbstractFinal))
+        // (tp.prefix.stripTypeVar == defn.NothingType || recur(tp.prefix)) && !(tp.classSymbol.is(AbstractFinal))
       case _ =>
         true
     }