Merge pull request #4824 from dotty-staging/tasty-add-missing-case-SuperType

Add missing SuperType in pattern match

Author: nicolasstucki

compiler/src/dotty/tools/dotc/tastyreflect/TastyImpl.scala

@@ -571,6 +571,7 @@ class TastyImpl(val rootContext: Contexts.Context) extends scala.tasty.Tasty { s
       def unapply(x: Pattern)(implicit ctx: Context): Option[Term] = x match {
         case lit: tpd.Literal @unchecked => Some(lit)
         case ref: tpd.RefTree @unchecked if ref.isTerm => Some(ref)
+        case ths: tpd.This @unchecked => Some(ths)
         case _ => None
       }
     }

library/src/scala/tasty/util/ShowExtractors.scala

@@ -190,6 +190,8 @@ class ShowExtractors[T <: Tasty with Singleton](tasty0: T) extends Show[T](tasty
         this += "Type.ParamRef(" += binder+= ", " += idx += ")"
       case Type.ThisType(tp) =>
         this += "Type.ThisType(" += tp += ")"
+      case Type.SuperType(thistpe, supertpe) =>
+        this += "Type.SuperType(" += thistpe += ", " += supertpe += ")"
       case Type.RecursiveThis(binder) =>
         this += "Type.RecursiveThis(" += binder += ")"
       case Type.RecursiveType(underlying) =>

library/src/scala/tasty/util/ShowSourceCode.scala

@@ -908,6 +908,10 @@ class ShowSourceCode[T <: Tasty with Singleton](tasty0: T) extends Show[T](tasty
             printType(tp)
         }
 
+      case Type.SuperType(thistpe, supertpe) =>
+        printType(supertpe)
+        this += ".super"
+
       case Type.TypeLambda(paramNames, tparams, body) =>
         inSquare(printMethodicTypeParams(paramNames, tparams))
         this += " => "