Make sure type definitions are not rechecked twice

Author: odersky

compiler/src/dotty/tools/dotc/cc/CheckCaptures.scala

@@ -1117,6 +1117,10 @@ class CheckCaptures extends Recheck, SymTransformer:
       finally
         curEnv = saved
 
+    override def recheckTypeDef(tree: TypeDef, sym: Symbol)(using Context): Type =
+      try super.recheckTypeDef(tree, sym)
+      finally completed += sym
+
     /** Recheck classDef by enforcing the following class-specific capture set relations:
      *   1. The capture set of a class includes the capture sets of its parents.
      *   2. The capture set of the self type of a class includes the capture set of the class.
@@ -1161,6 +1165,7 @@ class CheckCaptures extends Recheck, SymTransformer:
         ccState.inNestedLevelUnless(cls.is(Module)):
           super.recheckClassDef(tree, impl, cls)
       finally
+        completed += cls
         curEnv = saved
 
     /** If type is of the form `T @requiresCapability(x)`,

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

@@ -524,12 +524,14 @@ abstract class Recheck extends Phase, SymTransformer:
               if !skipRecheck(sym) then recheckDef(tree, sym)
               sym.termRef
           case tree: TypeDef =>
-            // TODO: Should we allow for completers as for ValDefs or DefDefs?
-            tree.rhs match
-              case impl: Template =>
-                recheckClassDef(tree, impl, sym.asClass)(using ctx.localContext(tree, sym))
-              case _ =>
-                recheckTypeDef(tree, sym)(using ctx.localContext(tree, sym))
+            if !skipRecheck(sym) then
+              // TODO: Should we allow for completers as for ValDefs or DefDefs?
+              tree.rhs match
+                case impl: Template =>
+                  recheckClassDef(tree, impl, sym.asClass)(using ctx.localContext(tree, sym))
+                case _ =>
+                  recheckTypeDef(tree, sym)(using ctx.localContext(tree, sym))
+            sym.typeRef
           case tree: Labeled => recheckLabeled(tree, pt)
 
       def recheckUnnamed(tree: Tree, pt: Type): Type = tree match