Move typing of usecases to typedClassDef

Author: felixmulder

dottydoc/test/UsecaseTest.scala

@@ -141,12 +141,13 @@ class UsecaseTest extends DottyTest {
     }
   }
 
-  @Test def checkIterator = {
-    val sources =
-      "./scala-scala/src/library/scala/collection/Iterator.scala" :: Nil
+  @Test def checkIterator =
+    checkFiles("./scala-scala/src/library/scala/collection/Iterator.scala" :: Nil) { _ =>
+      // success if typer throws no errors! :)
+    }
 
-    checkFiles(sources) { packages =>
+  @Test def checkIterableLike =
+    checkFiles("./scala-scala/src/library/scala/collection/IterableLike.scala" :: Nil) { _ =>
       // success if typer throws no errors! :)
     }
-  }
 }

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

@@ -1183,6 +1183,9 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit
     val self1 = typed(self)(ctx.outer).asInstanceOf[ValDef] // outer context where class members are not visible
     val dummy = localDummy(cls, impl)
     val body1 = typedStats(impl.body, dummy)(inClassContext(self1.symbol))
+
+    typedUsecases(body1.map(_.symbol), self1.symbol)
+
     checkNoDoubleDefs(cls)
     val impl1 = cpy.Template(impl)(constr1, parents1, self1, body1)
       .withType(dummy.nonMemberTermRef)
@@ -1444,9 +1447,7 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit
         buf += typed(stat)(ctx.exprContext(stat, exprOwner))
         traverse(rest)
       case nil =>
-        val tpdStats = buf.toList
-        typedUsecases(tpdStats.map(_.symbol), exprOwner)
-        tpdStats
+        buf.toList
     }
     traverse(stats)
   }