We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents 016ea8a + 3101ac7 commit e709a7fCopy full SHA for e709a7f
scaladoc/src/dotty/tools/scaladoc/tasty/TypesSupport.scala
@@ -533,6 +533,7 @@ trait TypesSupport:
533
private def isCapturedInContext(using Quotes)(ref: reflect.TypeRepr)(using elideThis: reflect.ClassDef): Boolean =
534
import reflect._
535
ref match
536
+ case t if t.isCaptureRoot => true
537
case ReachCapability(c) => isCapturedInContext(c)
538
case ReadOnlyCapability(c) => isCapturedInContext(c)
539
case ThisType(tr) => !elideThis.symbol.typeRef.isPureClass(elideThis) /* is the current class pure? */
0 commit comments