File tree Expand file tree Collapse file tree 2 files changed +2
-2
lines changed
compiler/src/dotty/tools/dotc/cc
tests/neg-custom-args/captures Expand file tree Collapse file tree 2 files changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -1306,7 +1306,7 @@ object CaptureSet:
1306
1306
|cannot be included in outer capture set $cs"""
1307
1307
else if ! elem.tryClassifyAs(cs.classifier) then
1308
1308
i """ capability ${elem} is not classified as ${cs.classifier}, therefore it
1309
- |cannot be included in capture set $cs of ${cs.classifier} elements """
1309
+ |cannot be included in capture set $cs of ${cs.classifier.name } elements """
1310
1310
else if cs.isBadRoot(elem) then
1311
1311
elem match
1312
1312
case elem : FreshCap =>
Original file line number Diff line number Diff line change 19
19
| cap is a root capability associated with the result type of (_$1: File^?): Logger{val f: File^{_$1}}^{cap.rd, _$1}
20
20
|
21
21
|Note that capability C is not classified as trait SharedCapability, therefore it
22
- |cannot be included in capture set ? of parameter _$1 of trait SharedCapability elements.
22
+ |cannot be included in capture set ? of parameter _$1 of SharedCapability elements.
23
23
|
24
24
| longer explanation available when compiling with `-explain`
You can’t perform that action at this time.
0 commit comments