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 05e04f0 commit 609bfdfCopy full SHA for 609bfdf
compiler/src/dotty/tools/dotc/cc/SepCheck.scala
@@ -449,8 +449,8 @@ class SepCheck(checker: CheckCaptures.CheckerAPI) extends tpd.TreeTraverser:
449
|and therefore is no longer available.""",
450
useLoc.sourcePos
451
):
452
- addSubdiag(em"$ref was consumed here.", consumedLoc.sourcePos)
453
- addPrimaryNote(em"... and it was used here")
+ addSubdiag(em"The capability was consumed here.", consumedLoc.sourcePos)
+ addPrimaryNote(em"Then, it was used here")
454
455
/** Report a failure where a previously consumed capability is used again,
456
* @param ref the capability that is used after being consumed
0 commit comments