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.
1 parent b2addc6 commit 909e785Copy full SHA for 909e785
compiler/src/dotty/tools/dotc/cc/SepCheck.scala
@@ -460,8 +460,8 @@ class SepCheck(checker: CheckCaptures.CheckerAPI) extends tpd.TreeTraverser:
460
|and therefore is no longer available.""",
461
useLoc.sourcePos
462
):
463
- addSubdiag(em"$ref was consumed here.", consumedLoc.sourcePos)
464
- addPrimaryNote(em"... and it was used here")
+ addSubdiag(em"The capability was consumed here.", consumedLoc.sourcePos)
+ addPrimaryNote(em"Then, it was used here")
465
466
/** Report a failure where a previously consumed capability is used again,
467
* @param ref the capability that is used after being consumed
0 commit comments