Polish and comment Setup class

scala · Nov 12, 2024 · 34972d8 · 34972d8
1 parent e3c91f3
commit 34972d8
Show file tree

Hide file tree

Showing 3 changed files with 161 additions and 81 deletions.
diff --git a/compiler/src/dotty/tools/dotc/cc/CaptureOps.scala b/compiler/src/dotty/tools/dotc/cc/CaptureOps.scala
@@ -592,6 +592,7 @@ extension (sym: Symbol)
     && !defn.isPolymorphicAfterErasure(sym)
     && !defn.isTypeTestOrCast(sym)
 
+  /** It's a parameter accessor that is not annotated @constructorOnly or @uncheckedCaptures */
   def isRefiningParamAccessor(using Context): Boolean =
     sym.is(ParamAccessor)
     && {

diff --git a/compiler/src/dotty/tools/dotc/cc/Existential.scala b/compiler/src/dotty/tools/dotc/cc/Existential.scala
@@ -337,6 +337,7 @@ object Existential:
     if needsWrap then wrapped else tp
   end mapCap
 
+  /** Map `cap` in function results to fresh existentials */
   def mapCapInResults(fail: Message => Unit)(using Context): TypeMap = new:
 
     def mapFunOrMethod(tp: Type, args: List[Type], res: Type): Type =