Polish and document separation checker.

scala · Feb 1, 2025 · f3c59cc · f3c59cc
1 parent b0628d1
commit f3c59cc
Show file tree

Hide file tree

Showing 3 changed files with 210 additions and 32 deletions.
diff --git a/compiler/src/dotty/tools/dotc/cc/CheckCaptures.scala b/compiler/src/dotty/tools/dotc/cc/CheckCaptures.scala
@@ -1839,7 +1839,7 @@ class CheckCaptures extends Recheck, SymTransformer:
       end checker
 
       checker.traverse(unit)(using ctx.withOwner(defn.RootClass))
-      if ccConfig.useSepChecks then SepChecker(this).traverse(unit)
+      if ccConfig.useSepChecks then SepCheck(this).traverse(unit)
       if !ctx.reporter.errorsReported then
         // We dont report errors here if previous errors were reported, because other
         // errors often result in bad applied types, but flagging these bad types gives

diff --git a/compiler/src/dotty/tools/dotc/cc/Fresh.scala b/compiler/src/dotty/tools/dotc/cc/Fresh.scala
@@ -67,6 +67,7 @@ object Fresh:
       case _ => None
   end Cap
 
+  /** Map each occurrence of cap to a different Sep.Cap instance */
   class FromCap(owner: Symbol)(using Context) extends BiTypeMap, FollowAliasesMap:
     thisMap =>