Skip to content

Commit 46b2224

Browse files
committed
[region-isolation] Add .highlight to a few diagnostics that I missed.
Just trying to be standardized about this.
1 parent c7d24e0 commit 46b2224

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

lib/SILOptimizer/Mandatory/TransferNonSendable.cpp

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -703,6 +703,7 @@ class UseAfterTransferDiagnosticEmitter {
703703
ApplyIsolationCrossing isolationCrossing) {
704704
diagnoseError(loc, diag::regionbasedisolation_type_transfer_yields_race,
705705
inferredType)
706+
.highlight(loc.getSourceRange())
706707
.limitBehaviorIf(getBehaviorLimit());
707708

708709
if (auto calleeInfo = getTransferringCalleeInfo()) {
@@ -741,6 +742,7 @@ class UseAfterTransferDiagnosticEmitter {
741742
Type inferredType) {
742743
diagnoseError(loc, diag::regionbasedisolation_type_transfer_yields_race,
743744
inferredType)
745+
.highlight(loc.getSourceRange())
744746
.limitBehaviorIf(getBehaviorLimit());
745747
if (auto calleeInfo = getTransferringCalleeInfo()) {
746748
diagnoseNote(loc,
@@ -785,6 +787,7 @@ class UseAfterTransferDiagnosticEmitter {
785787
ApplyIsolationCrossing isolationCrossing) {
786788
diagnoseError(loc, diag::regionbasedisolation_type_transfer_yields_race,
787789
inferredType)
790+
.highlight(loc.getSourceRange())
788791
.limitBehaviorIf(getBehaviorLimit());
789792
diagnoseNote(loc,
790793
diag::regionbasedisolation_type_isolated_capture_yields_race,

0 commit comments

Comments
 (0)