Handle TermRef and class in provablyDisjoint

Author: OlivierBlanvillain

compiler/src/dotty/tools/dotc/core/TypeComparer.scala

@@ -2609,6 +2609,10 @@ class TypeComparer(@constructorOnly initctx: Context) extends ConstraintHandling
         provablyDisjoint(tp1, gadtBounds(tp2.symbol).hi) || provablyDisjoint(tp1, tp2.superType)
       case (tp1: TermRef, tp2: TermRef) if isEnumValueOrModule(tp1) && isEnumValueOrModule(tp2) =>
         tp1.termSymbol != tp2.termSymbol
+      case (tp1: TermRef, tp2: TypeRef) if isEnumValue(tp1) && tp2.symbol.isClass =>
+        !isSubType(tp1, tp2)
+      case (tp1: TypeRef, tp2: TermRef) if isEnumValue(tp2) && tp1.symbol.isClass =>
+        !isSubType(tp2, tp1)
       case (tp1: TermRef, _) if isEnumValue(tp1) =>
         false
       case (_, tp2: TermRef) if isEnumValue(tp2) =>