From 3101ac70dd6ed99d00019e4070487bb43ef7a4bf Mon Sep 17 00:00:00 2001 From: Natsu Kagami Date: Sat, 16 Aug 2025 02:12:34 +0200 Subject: [PATCH] Scaladoc fix: don't drop caps on parameters [Cherry-picked 705fe5f21ec6ece4f06fc322cc815e3ca84088c7] --- scaladoc/src/dotty/tools/scaladoc/tasty/TypesSupport.scala | 1 + 1 file changed, 1 insertion(+) diff --git a/scaladoc/src/dotty/tools/scaladoc/tasty/TypesSupport.scala b/scaladoc/src/dotty/tools/scaladoc/tasty/TypesSupport.scala index f3b6f32b6638..482807010d40 100644 --- a/scaladoc/src/dotty/tools/scaladoc/tasty/TypesSupport.scala +++ b/scaladoc/src/dotty/tools/scaladoc/tasty/TypesSupport.scala @@ -533,6 +533,7 @@ trait TypesSupport: private def isCapturedInContext(using Quotes)(ref: reflect.TypeRepr)(using elideThis: reflect.ClassDef): Boolean = import reflect._ ref match + case t if t.isCaptureRoot => true case ReachCapability(c) => isCapturedInContext(c) case ReadOnlyCapability(c) => isCapturedInContext(c) case ThisType(tr) => !elideThis.symbol.typeRef.isPureClass(elideThis) /* is the current class pure? */