Also check generic bounds and method parameters

Author: TheElectronWill

compiler/src/dotty/tools/dotc/transform/PostTyper.scala

@@ -71,7 +71,7 @@ class PostTyper extends MacroTransform with IdentityDenotTransformer { thisPhase
   override def run(using Context): Unit =
     val unit = ctx.compilationUnit
     if unit.isJava then
-      checkBounds(unit.tpdTree)
+      checkAppliedTypes(unit.tpdTree)
     else
       super.run
 
@@ -126,26 +126,32 @@ class PostTyper extends MacroTransform with IdentityDenotTransformer { thisPhase
           tree
   end normalizeTypeArgs
 
-  /** Scan a tree and check the type bounds. */
-  def checkBounds(tree: Tree)(using Context): Unit = tree match
+  /** Scan a tree and check all the AppliedTypeTrees in it. */
+  def checkAppliedTypes(tree: Tree)(using Context): Unit = tree match
     case tpt: TypeTree =>
       Checking.checkAppliedTypesIn(tpt)
-    case app: AppliedTypeTree =>
-      Checking.checkAppliedType(app, EmptyTree)
+    case tree: AppliedTypeTree =>
+      Checking.checkAppliedType(tree, EmptyTree)
+    case tree: TypeBoundsTree =>
+      checkAppliedTypes(tree.hi)
     case tree: TypeApply =>
       val TypeApply(fn, args) = normalizeTypeArgs(tree)
-      args.foreach(checkBounds)
-    case tree: ValOrDefDef =>
-      checkBounds(tree.tpt)
+      args.foreach(checkAppliedTypes)
+    case tree: ValDef =>
+      checkAppliedTypes(tree.tpt)
+    case tree: DefDef =>
+      checkAppliedTypes(tree.tpt)
+      tree.vparamss.flatten.foreach(checkAppliedTypes)
+      tree.tparams.foreach(checkAppliedTypes)
     case PackageDef(pid, stats) =>
-      stats.foreach(checkBounds)
+      stats.foreach(checkAppliedTypes)
     case TypeDef(name, rhs) =>
-      checkBounds(rhs)
+      checkAppliedTypes(rhs)
     case t: Template =>
-      t.parents.foreach(checkBounds)
-      t.body.foreach(checkBounds)
+      t.parents.foreach(checkAppliedTypes)
+      t.body.foreach(checkAppliedTypes)
     case a: Annotated =>
-      checkBounds(a.arg)
+      checkAppliedTypes(a.arg)
     case _ =>
       // no need to check this