Clarify SymbolInformation.symbol uniqueness properties

sourcegraph · Dec 24, 2024 · 055c2ed · 055c2ed
1 parent 94484d9
commit 055c2ed
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/scip.proto b/scip.proto
@@ -233,6 +233,8 @@ message Descriptor {
 message SymbolInformation {
   // Identifier of this symbol, which can be referenced from `Occurence.symbol`.
   // The string must be formatted according to the grammar in `Symbol`.
+  // This identifier must be unique within indexer output, unless it begins with
+  // `local `, in which case it must be unique within the `Document`.
   string symbol = 1;
   // (optional, but strongly recommended) The markdown-formatted documentation
   // for this symbol. Use `SymbolInformation.signature_documentation` to