Fix isAbsType prediction in TreeUnpickler

TreeUnpickler assumed that a type was an abstract type if its RHS was a TypeBounds tree.
But TypeBounds trees also encode alias types, so this needs to be refined.

Fixes #14858

Author: odersky

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

@@ -4206,7 +4206,7 @@ object Types {
      *  This is the case if tycon is higher-kinded. This means
      *  it is a subtype of a hk-lambda, but not a match alias.
      *  (normal parameterized aliases are removed in `appliedTo`).
-     *  Applications of hgher-kinded type constructors to wildcard arguments
+     *  Applications of higher-kinded type constructors to wildcard arguments
      *  are equivalent to existential types, which are not supported.
      */
     def isUnreducibleWild(using Context): Boolean =

compiler/src/dotty/tools/dotc/core/tasty/TreeUnpickler.scala

@@ -507,7 +507,13 @@ class TreeUnpickler(reader: TastyReader,
         rdr.reader.readNat()   // length
         rdr.skipParams()       // tparams
         rdr.isAbstractType(rdr.nextUnsharedTag)
-      case TYPEBOUNDS | TYPEBOUNDStpt => true
+      case TYPEBOUNDS =>
+        val rdr = fork
+        rdr.reader.readByte()  // tag
+        val end = rdr.reader.readEnd()
+        rdr.skipTree()         // alias, or lower bound
+        !rdr.nothingButMods(end)
+      case TYPEBOUNDStpt => true
       case _ => false
     }
 
@@ -562,7 +568,7 @@ class TreeUnpickler(reader: TastyReader,
       val rhsIsEmpty = nothingButMods(end)
       if (!rhsIsEmpty) skipTree()
       val (givenFlags, annotFns, privateWithin) = readModifiers(end)
-      pickling.println(i"creating symbol $name at $start with flags $givenFlags")
+      pickling.println(i"creating symbol $name at $start with flags ${givenFlags.flagsString}, isAbsType = $isAbsType, $ttag")
       val flags = normalizeFlags(tag, givenFlags, name, isAbsType, rhsIsEmpty)
       def adjustIfModule(completer: LazyType) =
         if (flags.is(Module)) adjustModuleCompleter(completer, name) else completer

tests/pos/i14858/A_2.scala

@@ -0,0 +1,3 @@
+import p.*
+
+type NAME2 = C[?]

tests/pos/i14858/M_1.scala

@@ -0,0 +1,10 @@
+package p
+
+object M {
+  class C[N]()
+}
+
+export M.*
+
+type CC[N] = M.C[N]
+type CCC = M.C[Int]