@@ -1620,7 +1620,7 @@ object Parsers {
16201620 case _ => None
16211621 }
16221622
1623- /** CaptureRef ::= { SimpleRef `.` } SimpleRef [`*`] [`.` rd]
1623+ /** CaptureRef ::= { SimpleRef `.` } SimpleRef [`*`] [`.` rd] -- under captureChecking
16241624 * | [ { SimpleRef `.` } SimpleRef `.` ] id
16251625 */
16261626 def captureRef (): Tree =
@@ -2292,7 +2292,7 @@ object Parsers {
22922292 atSpan(in.offset):
22932293 TypeBoundsTree (bound(SUPERTYPE ), bound(SUBTYPE ))
22942294
2295- /** CaptureSetBounds ::= [`>:' CaptureSetOrRef ] [`<:' CaptureSetOrRef ] --- under captureChecking
2295+ /** CaptureSetBounds ::= [`>:' CaptureSet ] [`<:' CaptureSet ] --- under captureChecking
22962296 */
22972297 def captureSetBounds (): TypeBoundsTree =
22982298 atSpan(in.offset):
@@ -3973,13 +3973,13 @@ object Parsers {
39733973 () => atSpan(in.offset) { importSelection(simpleRef()) }
39743974 end importExpr
39753975
3976- /** Def ::= val PatDef
3977- * | var VarDef
3978- * | def DefDef
3979- * | type {nl} TypeDef
3980- * | cap type {nl} CapDef -- under captureChecking
3976+ /** Def ::= ‘ val’ PatDef
3977+ * | ‘ var’ VarDef
3978+ * | ‘ def’ DefDef
3979+ * | ‘ type’ {nl} TypeDef
3980+ * | ‘ cap’ ‘ type’ {nl} CapDef -- under captureChecking
39813981 * | TmplDef
3982- * EnumCase ::= ` case' (id ClassConstr [` extends' ConstrApps]] | ids)
3982+ * EnumCase ::= ‘ case’ (id ClassConstr [‘ extends’ ConstrApps]] | ids)
39833983 */
39843984 def defOrDcl (start : Int , mods : Modifiers ): Tree =
39853985 in.token match {
@@ -4211,7 +4211,7 @@ object Parsers {
42114211 private def concreteCapsType (refs : List [Tree ]): Tree =
42124212 makeRetaining(Select (scalaDot(nme.caps), tpnme.CapSet ), refs, tpnme.retains)
42134213
4214- /** CapDef ::= id CaptureSetAndCtxBounds [‘=’ CaptureSetOrRef ] -- under captureChecking
4214+ /** CapDef ::= id CaptureSetAndCtxBounds [‘=’ CaptureSet ] -- under captureChecking
42154215 */
42164216 def capDefOrDcl (start : Offset , mods : Modifiers ): Tree =
42174217 newLinesOpt()
0 commit comments