@@ -423,14 +423,12 @@ class SCIPState {
423
423
424
424
private:
425
425
absl::Status saveDefinitionImpl (const core::GlobalState &gs, core::FileRef file, const string &symbolString,
426
- core::Loc occLoc, bool isLocal ) {
426
+ core::Loc occLoc) {
427
427
ENFORCE (!symbolString.empty ());
428
428
occLoc = trimColonColonPrefix (gs, occLoc);
429
- if (!isLocal) {
430
- scip::SymbolInformation symbolInfo;
431
- symbolInfo.set_symbol (symbolString);
432
- this ->symbolMap [file].push_back (symbolInfo);
433
- }
429
+ scip::SymbolInformation symbolInfo;
430
+ symbolInfo.set_symbol (symbolString);
431
+ this ->symbolMap [file].push_back (symbolInfo);
434
432
435
433
scip::Occurrence occurrence;
436
434
occurrence.set_symbol (symbolString);
@@ -498,8 +496,7 @@ class SCIPState {
498
496
if (this ->cacheOccurrence (gs, file, occ, scip::SymbolRole::Definition)) {
499
497
return absl::OkStatus ();
500
498
}
501
- return this ->saveDefinitionImpl (gs, file, occ.toString (gs, file), core::Loc (file, occ.offsets ),
502
- /* isLocal*/ true );
499
+ return this ->saveDefinitionImpl (gs, file, occ.toString (gs, file), core::Loc (file, occ.offsets ));
503
500
}
504
501
505
502
// Save definition when you have a sorbet Symbol.
@@ -521,7 +518,7 @@ class SCIPState {
521
518
522
519
auto occLoc = loc.has_value () ? core::Loc (file, loc.value ()) : symRef.symbolLoc (gs);
523
520
524
- return this ->saveDefinitionImpl (gs, file, symbolString, occLoc, /* isLocal */ false );
521
+ return this ->saveDefinitionImpl (gs, file, symbolString, occLoc);
525
522
}
526
523
527
524
absl::Status saveReference (const core::GlobalState &gs, core::FileRef file, OwnedLocal occ, int32_t symbol_roles) {
0 commit comments