Check AppliedTypeTrees bounds inside AppliedTypeTree

Author: smarter

src/dotty/tools/dotc/typer/Checking.scala

@@ -56,8 +56,9 @@ object Checking {
         val bounds = tparams.map(tparam =>
           tparam.info.asSeenFrom(tycon.tpe.normalizedPrefix, tparam.owner.owner).bounds)
         checkBounds(args, bounds, _.substDealias(tparams, _))
-      case _ => traverseChildren(tree)
+      case _ =>
     }
+    traverseChildren(tree)
   }
 
   /** Check that `tp` refers to a nonAbstract class

tests/neg/nested_bounds.scala

@@ -0,0 +1,5 @@
+class OnlyInt[T <: Int]
+
+object Test {
+  type T = List[OnlyInt[String]] // error
+}