semantifold 0.12.0 → 0.14.0

package/src/semantic/provenance.js

@@ -492,6 +492,7 @@ export function semanticEntries(module) {
         node.imports.forEach((child, index) => visit(child, `/imports/${index}`, location))
       }
       ;(node.records ?? []).forEach((child, index) => visit(child, `/records/${index}`, location))
+      ;(node.interfaces ?? []).forEach((child, index) => visit(child, `/interfaces/${index}`, location))
       if (!("sourceFilename" in node) || Reflect.get(node, "stdlibFacade") !== undefined) {
         ;(node.classes ?? []).forEach((child, index) => visit(child, `/classes/${index}`, location))
       }
@@ -512,7 +513,14 @@ export function semanticEntries(module) {
     } else if (node.kind == "EffectOperationDeclaration") {
       node.parameters.forEach((child, index) => visit(child.type, `${path}/parameters/${index}/type`, location))
       visit(node.returnType, `${path}/returnType`, location)
+    } else if (node.kind == "InterfaceDeclaration") {
+      (node.extends ?? []).forEach((child, index) => visit(child, `${path}/extends/${index}`, location))
+      node.methods.forEach((child, index) => visit(child, `${path}/methods/${index}`, location))
+    } else if (node.kind == "InterfaceMethodDeclaration") {
+      node.parameters.forEach((child, index) => visit(child.type, `${path}/parameters/${index}/type`, location))
+      visit(node.returnType, `${path}/returnType`, location)
     } else if (node.kind == "ClassDeclaration") {
+      (node.implements ?? []).forEach((child, index) => visit(child, `${path}/implements/${index}`, location))
       node.fields.forEach((child, index) => visit(child, `${path}/fields/${index}`, location))
       visit(node.constructor, `${path}/constructor`, location)
       node.methods.forEach((child, index) => visit(child, `${path}/methods/${index}`, location))
@@ -580,8 +588,14 @@ export function semanticEntries(module) {
       visit(node.body, `${path}/body`, location)
     } else if (node.kind == "RaiseStatement") {
       visit(node.error, `${path}/error`, location)
+    } else if (node.kind == "RethrowStatement") {
+      visit(node.bindingNode, `${path}/bindingNode`, location)
+      visit(node.bindingNode, `${path}/bindingNode/name`, location)
     } else if (node.kind == "TryStatement") {
       visit(node.body, `${path}/body`, location)
+      node.handlers.forEach((child, index) => visit(child, `${path}/handlers/${index}`, location))
+      if (node.finallyBody) visit(node.finallyBody, `${path}/finallyBody`, location)
+    } else if (node.kind == "CatchHandler") {
       visit(node.catchType, `${path}/catchType`, location)
       visit(node.catchBinding, `${path}/catchBinding`, location)
       visit(node.catchBody, `${path}/catchBody`, location)
@@ -659,6 +673,10 @@ function resolveSymbols(module, records) {
   /** @type {Map<string, string>} */
   const fieldSymbols = new Map()
   /** @type {Map<string, string>} */
+  const interfaceSymbols = new Map()
+  /** @type {Map<string, string>} */
+  const interfaceMethodSymbols = new Map()
+  /** @type {Map<string, string>} */
   const classSymbols = new Map()
   /** @type {Map<string, string>} */
   const constructorSymbols = new Map()
@@ -718,11 +736,29 @@ function resolveSymbols(module, records) {
     if (declaration.id) errorSymbols.set(declaration.id, symbol)
   }
 
+  for (const [index, declaration] of (module.interfaces ?? []).entries()) {
+    const declarationPath = `/interfaces/${index}`
+    const interfaceSymbol = declare(declaration, declaration.name, "interface", declarationPath)
+
+    if (declaration.id) interfaceSymbols.set(declaration.id, interfaceSymbol)
+    for (const [extendsIndex, parent] of (declaration.extends ?? []).entries()) {
+      visitType(parent, `${declarationPath}/extends/${extendsIndex}`)
+    }
+    for (const [methodIndex, method] of declaration.methods.entries()) {
+      const symbol = declare(method, method.name, "interfaceMethod", `${declarationPath}/methods/${methodIndex}`)
+
+      if (method.id) interfaceMethodSymbols.set(method.id, symbol)
+    }
+  }
+
   for (const [index, declaration] of (module.classes ?? []).entries()) {
     const declarationPath = `/classes/${index}`
     const classSymbol = declare(declaration, declaration.name, "class", declarationPath)
 
     if (declaration.id) classSymbols.set(declaration.id, classSymbol)
+    for (const [implementsIndex, implemented] of (declaration.implements ?? []).entries()) {
+      visitType(implemented, `${declarationPath}/implements/${implementsIndex}`)
+    }
     for (const [fieldIndex, field] of declaration.fields.entries()) {
       const symbol = declare(field, field.name, "field", `${declarationPath}/fields/${fieldIndex}`)
 
@@ -800,7 +836,7 @@ function resolveSymbols(module, records) {
 
   /**
    * Declares one canonical symbol.
-   * @param {import("./types.js").EffectCapabilityDeclaration | import("./types.js").EffectResourceDeclaration | import("./types.js").EffectFailureDeclaration | import("./types.js").EffectOperationDeclaration | import("./types.js").RecordDeclaration | import("./types.js").ClassDeclaration | import("./types.js").ErrorDeclaration | import("./types.js").RecordField | import("./types.js").PrivateField | import("./types.js").ConstructorDeclaration | import("./types.js").MethodDeclaration | import("./types.js").FunctionDeclaration | import("./types.js").TypeParameter | import("./types.js").Parameter | import("./types.js").LocalDeclaration | import("./types.js").ValueBinding | import("./types.js").CatchBinding} node - Declaration.
+   * @param {import("./types.js").EffectCapabilityDeclaration | import("./types.js").EffectResourceDeclaration | import("./types.js").EffectFailureDeclaration | import("./types.js").EffectOperationDeclaration | import("./types.js").RecordDeclaration | import("./types.js").ClassDeclaration | import("./types.js").InterfaceDeclaration | import("./types.js").InterfaceMethodDeclaration | import("./types.js").ErrorDeclaration | import("./types.js").RecordField | import("./types.js").PrivateField | import("./types.js").ConstructorDeclaration | import("./types.js").MethodDeclaration | import("./types.js").FunctionDeclaration | import("./types.js").TypeParameter | import("./types.js").Parameter | import("./types.js").LocalDeclaration | import("./types.js").ValueBinding | import("./types.js").CatchBinding} node - Declaration.
    * @param {string} name - Symbol name.
    * @param {import("./types.js").SemanticSymbolKind} kind - Symbol kind.
    * @param {string} path - Declaration occurrence path.
@@ -822,7 +858,7 @@ function resolveSymbols(module, records) {
       location,
       name,
       references: [],
-      ...(["capability", "resource", "failure", "operation", "record", "class", "error", "field", "constructor", "method", "function", "typeParameter"].includes(kind)
+      ...(["capability", "resource", "failure", "operation", "record", "interface", "interfaceMethod", "class", "error", "field", "constructor", "method", "function", "typeParameter"].includes(kind)
         ? {semanticDeclarationId: /** @type {{id?: string}} */ (node).id}
         : {})
     })
@@ -895,19 +931,28 @@ function resolveSymbols(module, records) {
         visitType(statement.error.error, `${statementPath}/error/error`)
         reference(statement.error, errorSymbols.get(statement.error.error.declarationId), "construct", `${statementPath}/error`)
         visitExpression(statement.error.message, scope, `${statementPath}/error/message`)
+      } else if (statement.kind == "RethrowStatement") {
+        const symbol = scope.get(statement.binding)
+
+        if (symbol) reference(statement, symbol, "read", statementPath)
       } else if (statement.kind == "TryStatement") {
         visitBlock(statement.body, scope, `${statementPath}/body`)
-        visitType(statement.catchType, `${statementPath}/catchType`)
-        visitType(statement.catchBinding.type, `${statementPath}/catchBinding/type`)
-        const catchScope = new Map(scope)
-
-        catchScope.set(statement.catchBinding.name, declare(
-          statement.catchBinding,
-          statement.catchBinding.name,
-          "catch",
-          `${statementPath}/catchBinding`
-        ))
-        visitBlock(statement.catchBody, catchScope, `${statementPath}/catchBody`)
+        for (const [index, handler] of statement.handlers.entries()) {
+          const handlerPath = `${statementPath}/handlers/${index}`
+
+          visitType(handler.catchType, `${handlerPath}/catchType`)
+          visitType(handler.catchBinding.type, `${handlerPath}/catchBinding/type`)
+          const catchScope = new Map(scope)
+
+          catchScope.set(handler.catchBinding.name, declare(
+            handler.catchBinding,
+            handler.catchBinding.name,
+            "catch",
+            `${handlerPath}/catchBinding`
+          ))
+          visitBlock(handler.catchBody, catchScope, `${handlerPath}/catchBody`)
+        }
+        if (statement.finallyBody) visitBlock(statement.finallyBody, scope, `${statementPath}/finallyBody`)
       }
     }
   }
@@ -994,6 +1039,7 @@ function resolveSymbols(module, records) {
       for (const [index, argument] of (type.arguments ?? []).entries()) visitType(argument, `${path}/arguments/${index}`)
     }
     else if (type.kind == "ErrorType") reference(type, errorSymbols.get(type.declarationId), "type", path)
+    else if (type.kind == "InterfaceType") reference(type, interfaceSymbols.get(type.declarationId), "type", path)
     else if (type.kind == "ReferenceType" || type.kind == "OwnedReferenceType") reference(type, classSymbols.get(type.declarationId), "type", path)
     else if (type.kind == "OwnedResourceType") reference(type, resourceSymbols.get(type.resourceId), "type", path)
     else if (type.kind == "ListType") visitType(type.elementType, `${path}/elementType`)
@@ -1005,7 +1051,7 @@ function resolveSymbols(module, records) {
 
   /**
    * Attaches one resolved symbol reference.
-   * @param {import("./types.js").IdentifierExpression | import("./types.js").ReceiverExpression | import("./types.js").CallExpression | import("./types.js").EffectCallExpression | import("./types.js").MethodCallExpression | import("./types.js").TypeVariableReference | import("./types.js").RecordType | import("./types.js").ReferenceType | import("./types.js").OwnedReferenceType | import("./types.js").OwnedResourceType | import("./types.js").RecordConstruction | import("./types.js").ReferenceConstruction | import("./types.js").MemberRead | import("./types.js").PrivateFieldRead | import("./types.js").PrivateFieldWriteStatement | import("./types.js").ErrorType | import("./types.js").ErrorConstruction} node - Reference node.
+   * @param {import("./types.js").IdentifierExpression | import("./types.js").ReceiverExpression | import("./types.js").CallExpression | import("./types.js").EffectCallExpression | import("./types.js").MethodCallExpression | import("./types.js").TypeVariableReference | import("./types.js").RecordType | import("./types.js").ReferenceType | import("./types.js").InterfaceType | import("./types.js").OwnedReferenceType | import("./types.js").OwnedResourceType | import("./types.js").RecordConstruction | import("./types.js").ReferenceConstruction | import("./types.js").MemberRead | import("./types.js").PrivateFieldRead | import("./types.js").PrivateFieldWriteStatement | import("./types.js").RethrowStatement | import("./types.js").ErrorType | import("./types.js").ErrorConstruction} node - Reference node.
    * @param {string | undefined} symbolId - Resolved symbol.
    * @param {"type" | "construct" | "member" | "read" | "write" | "call"} role - Reference role.
    * @param {string} path - Reference occurrence path.

package/src/semantic/types.js

@@ -8,8 +8,8 @@
 /** @typedef {SemanticTypeName | "void"} FunctionReturnTypeName */
 /** @typedef {"IntegerNegate" | "BooleanNot"} SemanticUnaryOperation */
 /** @typedef {"IntegerAdd" | "IntegerSubtract" | "IntegerMultiply" | "BooleanAnd" | "BooleanOr" | "IntegerEqual" | "IntegerNotEqual" | "BooleanEqual" | "BooleanNotEqual" | "StringEqual" | "StringNotEqual" | "IntegerLessThan" | "IntegerLessThanOrEqual" | "IntegerGreaterThan" | "IntegerGreaterThanOrEqual" | "StringConcat"} SemanticBinaryOperation */
-/** @typedef {"capability" | "resource" | "failure" | "operation" | "record" | "class" | "error" | "field" | "constructor" | "method" | "function" | "typeParameter" | "parameter" | "local" | "iteration" | "catch"} SemanticSymbolKind */
-/** @typedef {"record" | "class" | "error" | "function"} SemanticDeclarationKind */
+/** @typedef {"capability" | "resource" | "failure" | "operation" | "record" | "interface" | "interfaceMethod" | "class" | "error" | "field" | "constructor" | "method" | "function" | "typeParameter" | "parameter" | "local" | "iteration" | "catch"} SemanticSymbolKind */
+/** @typedef {"record" | "interface" | "class" | "error" | "function"} SemanticDeclarationKind */
 /** @typedef {"declaration" | "type" | "construct" | "member" | "read" | "write" | "call"} SemanticSymbolRole */
 /** @typedef {"parse" | "generate" | "restore" | "compile" | "link" | "validate" | "instantiate" | "execute"} AcceptanceStage */
 /** @typedef {"entry" | "source" | "manifest" | "support" | "mapping" | "resource" | "loader"} GeneratedArtifactRole */
@@ -186,6 +186,7 @@
  * @property {boolean} typedErrors - Task 011 nominal unchecked errors, raises, and exact typed catches.
  * @property {boolean} typeParametersAndGenerics - Task 012 invariant unbounded type parameters and closed generic applications.
  * @property {boolean} referenceClasses - Task 033 nominal reference classes, private instance state, exact constructors, and receiver methods.
+ * @property {boolean} boundedSubtyping - Task 048 nominal interfaces with exact implementation contracts and implicit upcast (requires referenceClasses).
  * @property {boolean} effectfulCapabilitiesAndResources - Task 034 authorized host effects, typed failures, and owned resources.
  */
 
@@ -700,7 +701,14 @@
  * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned type-name range.
  */
 
-/** @typedef {TypeReference | TypeVariableReference | ListType | MapType | OrderedMapType | OptionalType | RecordType | ReferenceType | OwnedResourceType | OwnedReferenceType} SemanticValueType */
+/**
+ * @typedef InterfaceType
+ * @property {"InterfaceType"} kind - Nominal bounded-subtyping interface type discriminator.
+ * @property {string} declarationId - Stable module-local interface declaration identity.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned type-name range.
+ */
+
+/** @typedef {TypeReference | TypeVariableReference | ListType | MapType | OrderedMapType | OptionalType | RecordType | ReferenceType | OwnedResourceType | OwnedReferenceType | InterfaceType} SemanticValueType */
 /** @typedef {SemanticValueType | ErrorType} SemanticBindingType */
 
 /**
@@ -712,7 +720,7 @@
 
 /** @typedef {SemanticValueType | FunctionReturnTypeReference} SemanticFunctionReturnType */
 
-/** @typedef {SemanticTypeName | {kind: "TypeVariableReference", parameterId: string} | {kind: "ListType", elementType: SemanticTypeIdentity} | {kind: "MapType", keyType: SemanticTypeIdentity, valueType: SemanticTypeIdentity} | {kind: "OrderedMapType", keyType: SemanticTypeIdentity, valueType: SemanticTypeIdentity, order: "insertion"} | {kind: "OptionalType", valueType: SemanticTypeIdentity} | {kind: "RecordType", declarationId: string, arguments?: SemanticTypeIdentity[]} | {kind: "ReferenceType", declarationId: string} | {kind: "OwnedResourceType", resourceId: string} | {kind: "OwnedReferenceType", declarationId: string}} SemanticTypeIdentity */
+/** @typedef {SemanticTypeName | {kind: "TypeVariableReference", parameterId: string} | {kind: "ListType", elementType: SemanticTypeIdentity} | {kind: "MapType", keyType: SemanticTypeIdentity, valueType: SemanticTypeIdentity} | {kind: "OrderedMapType", keyType: SemanticTypeIdentity, valueType: SemanticTypeIdentity, order: "insertion"} | {kind: "OptionalType", valueType: SemanticTypeIdentity} | {kind: "RecordType", declarationId: string, arguments?: SemanticTypeIdentity[]} | {kind: "ReferenceType", declarationId: string} | {kind: "OwnedResourceType", resourceId: string} | {kind: "OwnedReferenceType", declarationId: string} | {kind: "InterfaceType", declarationId: string}} SemanticTypeIdentity */
 /** @typedef {SemanticTypeIdentity | "void"} FunctionReturnTypeIdentity */
 
 /**
@@ -1229,6 +1237,15 @@
  * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned raise range.
  */
 
+/**
+ * @typedef RethrowStatement
+ * @property {"RethrowStatement"} kind - Re-propagation of the exact caught binding in scope.
+ * @property {string} binding - Name of the lexically visible immutable catch binding being re-raised.
+ * @property {CatchBinding} bindingNode - Exact catch binding node being re-raised.
+ * @property {SourceLocation} location - Complete rethrow source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned rethrow range.
+ */
+
 /**
  * @typedef CatchBinding
  * @property {"CatchBinding"} kind - Exact-handler binding discriminator.
@@ -1240,18 +1257,27 @@
  */
 
 /**
- * @typedef TryStatement
- * @property {"TryStatement"} kind - One body and one exact typed handler.
- * @property {Block} body - Protected body.
+ * @typedef CatchHandler
+ * @property {"CatchHandler"} kind - One exact nominal handler within an ordered handler list.
  * @property {ErrorType} catchType - Exact caught nominal error type.
  * @property {CatchBinding} catchBinding - Immutable handler-local binding.
  * @property {Block} catchBody - Handler body.
+ * @property {SourceLocation} location - Complete handler source location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned catch ranges.
+ */
+
+/**
+ * @typedef TryStatement
+ * @property {"TryStatement"} kind - One body, an ordered list of exact typed handlers, and an optional completion block.
+ * @property {Block} body - Protected body.
+ * @property {CatchHandler[]} handlers - Ordered exact handlers, evaluated top to bottom with exact nominal matching.
+ * @property {Block} [finallyBody] - Completion block executed on every normal and abrupt completion of the try.
  * @property {SourceLocation} location - Complete try/handler source location.
- * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned try/catch ranges.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned try/catch/finally ranges.
  */
 
 /** @typedef {LocalDeclaration | AssignmentStatement} LocalStatement */
-/** @typedef {LocalStatement | PrivateFieldWriteStatement | ExpressionStatement | IfStatement | ForEachStatement | ForEachMapStatement | WhileStatement | BreakStatement | ContinueStatement | ReturnStatement | PrintStatement | RaiseStatement | TryStatement} Statement */
+/** @typedef {LocalStatement | PrivateFieldWriteStatement | ExpressionStatement | IfStatement | ForEachStatement | ForEachMapStatement | WhileStatement | BreakStatement | ContinueStatement | ReturnStatement | PrintStatement | RaiseStatement | RethrowStatement | TryStatement} Statement */
 
 /**
  * @typedef Block
@@ -1327,10 +1353,33 @@
  * @property {Block} body - Method body.
  * @property {readonly ["host"]} [effects] - Inferred checked host-effect fact.
  * @property {string[]} [failureIds] - Ordered capability failures reachable through the method.
+ * @property {{interfaceId: string, methodId: string}} [implements] - Exact satisfied interface member, required after validation when the method satisfies an interface contract.
  * @property {SourceLocation} location - Complete method location.
  * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned method-name range.
  */
 
+/**
+ * @typedef InterfaceMethodDeclaration
+ * @property {"InterfaceMethodDeclaration"} kind - Signature-only interface contract member.
+ * @property {string} [id] - Stable interface-scoped method identity, required after validation.
+ * @property {string} name - Source-visible method name.
+ * @property {Parameter[]} parameters - Exact positional required parameters with explicit types.
+ * @property {SemanticFunctionReturnType} returnType - Exact value or void return.
+ * @property {SourceLocation} location - Complete interface method location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned method-name range.
+ */
+
+/**
+ * @typedef InterfaceDeclaration
+ * @property {"InterfaceDeclaration"} kind - Closed signature-only nominal interface with exact implementation contracts.
+ * @property {string} [id] - Stable module-local interface identity, required after validation.
+ * @property {string} name - Source-visible interface name.
+ * @property {InterfaceType[]} [extends] - Direct interface parents in source order; omitted when empty.
+ * @property {InterfaceMethodDeclaration[]} methods - Ordered closed signature set.
+ * @property {SourceLocation} location - Complete interface location.
+ * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned interface-name range.
+ */
+
 /**
  * @typedef ClassDeclaration
  * @property {"ClassDeclaration"} kind - Nominal reference class with private mutable state.
@@ -1339,6 +1388,7 @@
  * @property {PrivateField[]} fields - Ordered private instance state.
  * @property {ConstructorDeclaration} constructor - Sole exact constructor.
  * @property {MethodDeclaration[]} methods - Ordered receiver methods.
+ * @property {InterfaceType[]} [implements] - Direct interface contracts in source order; omitted when empty.
  * @property {{kind: "ordinary"} | {kind: "ownedResource", fieldId: string, resourceId: string}} [ownership] - Explicit class ownership profile.
  * @property {SourceLocation} location - Complete class location.
  * @property {SemanticNodeSourceProvenance} [sourceProvenance] - Parser-owned class-name range.
@@ -1373,6 +1423,7 @@
  * @typedef SemanticModule
  * @property {"Module"} kind - Node discriminator.
  * @property {RecordDeclaration[]} [records] - Top-level nominal record declarations in source order; omitted when empty.
+ * @property {InterfaceDeclaration[]} [interfaces] - Top-level nominal interface declarations in source order; omitted when empty.
  * @property {ClassDeclaration[]} [classes] - Top-level nominal reference classes in source order; omitted when empty.
  * @property {ErrorDeclaration[]} [errors] - Top-level nominal unchecked error declarations in source order; omitted when empty.
  * @property {EffectCapabilityDeclaration[]} [capabilities] - Compiler-authorized Task 034 declarations; omission is the legacy empty set.
@@ -1423,6 +1474,7 @@
  * @property {string} id - Stable caller-supplied logical module identity.
  * @property {string} sourceFilename - Explicit source filename; never an implicit read request.
  * @property {RecordDeclaration[]} [records] - Top-level nominal record declarations.
+ * @property {InterfaceDeclaration[]} [interfaces] - Top-level nominal interface declarations.
  * @property {ClassDeclaration[]} [classes] - Compiler-owned facade reference classes.
  * @property {ErrorDeclaration[]} [errors] - Top-level nominal unchecked error declarations.
  * @property {FunctionDeclaration[]} functions - Top-level functions.
@@ -1468,7 +1520,7 @@
  * @property {StdlibFacadeProgramDescriptor} [stdlibFacades] - Complete selected source-language facade closure.
  */
 
-/** @typedef {SemanticModule | SemanticProgramModule | SemanticImport | SemanticExport | RecordDeclaration | ClassDeclaration | ErrorDeclaration | EffectCapabilityDeclaration | EffectResourceDeclaration | EffectFailureDeclaration | EffectOperationDeclaration | RecordField | PrivateField | ConstructorDeclaration | MethodDeclaration | FunctionDeclaration | TypeParameter | Parameter | ValueBinding | CatchBinding | Block | Statement | EntryPoint | Expression | ErrorConstruction | ErrorType | MapEntry | SemanticValueType | FunctionReturnTypeReference} SemanticNode */
+/** @typedef {SemanticModule | SemanticProgramModule | SemanticImport | SemanticExport | RecordDeclaration | InterfaceDeclaration | InterfaceMethodDeclaration | ClassDeclaration | ErrorDeclaration | EffectCapabilityDeclaration | EffectResourceDeclaration | EffectFailureDeclaration | EffectOperationDeclaration | RecordField | PrivateField | ConstructorDeclaration | MethodDeclaration | FunctionDeclaration | TypeParameter | Parameter | ValueBinding | CatchBinding | CatchHandler | Block | Statement | EntryPoint | Expression | ErrorConstruction | ErrorType | MapEntry | SemanticValueType | FunctionReturnTypeReference} SemanticNode */
 /** @typedef {SemanticNode} SemanticNodeWithoutLocations */
 
 export {}