semantifold 0.12.0 → 0.14.0

package/src/backends/writer.js

@@ -106,6 +106,7 @@ export class SourceWriter {
     this.stdlibProviderShims = stdlibProviderShims
     const programRecords = program?.modules.flatMap((programModule) => programModule.records ?? []) ?? module.records ?? []
     const programClasses = program?.modules.flatMap((programModule) => programModule.classes ?? []) ?? module.classes ?? []
+    const programInterfaces = program?.modules.flatMap((programModule) => programModule.interfaces ?? []) ?? module.interfaces ?? []
     const capabilityFailures = module.capabilities?.flatMap(({failures}) => failures) ?? []
     const programErrors = program?.modules.flatMap((programModule) => [
       ...(programModule.errors ?? []),
@@ -115,6 +116,7 @@ export class SourceWriter {
 
     this.records = new Map(programRecords.map((record) => [record.id, record]))
     this.classes = new Map(programClasses.map((declaration) => [declaration.id, declaration]))
+    this.interfaces = new Map(programInterfaces.map((declaration) => [declaration.id, declaration]))
     this.errors = new Map(programErrors.map((error) => [error.id, error]))
     this.resources = new Map((module.capabilities?.flatMap(({resources}) => resources) ?? []).map((resource) => [resource.id, resource]))
     this.effectOperations = new Map((module.capabilities?.flatMap(({operations}) => operations) ?? []).map((operation) => [operation.id, operation]))
@@ -123,7 +125,14 @@ export class SourceWriter {
     this.fields = new Map(programRecords.flatMap((record) => record.fields.map((field) => [field.id, field])))
     this.fieldRecords = new Map(programRecords.flatMap((record) => record.fields.map((field) => [field.id, record])))
     this.privateFields = new Map(programClasses.flatMap((declaration) => declaration.fields.map((field) => [field.id, field])))
-    this.methods = new Map(programClasses.flatMap((declaration) => declaration.methods.map((method) => [method.id, method])))
+    /** @type {Map<string, import("../semantic/types.js").InterfaceMethodDeclaration | import("../semantic/types.js").MethodDeclaration>} */
+    this.methods = new Map()
+    for (const declaration of programClasses) {
+      for (const method of declaration.methods) this.methods.set(/** @type {string} */ (method.id), method)
+    }
+    for (const declaration of programInterfaces) {
+      for (const method of declaration.methods) this.methods.set(/** @type {string} */ (method.id), method)
+    }
     this.typeParameters = new Map([...programRecords, ...programFunctions].flatMap((declaration) =>
       (declaration.typeParameters ?? []).map((parameter) => [parameter.id, parameter])))
     this.referenceClassEmissionDepth = 0
@@ -131,6 +140,7 @@ export class SourceWriter {
     this.declarationModules = new Map(program?.modules.flatMap((programModule) => [
       ...(programModule.records ?? []).map((declaration) => /** @type {const} */ ([/** @type {string} */ (declaration.id), programModule])),
       ...(programModule.classes ?? []).map((declaration) => /** @type {const} */ ([/** @type {string} */ (declaration.id), programModule])),
+      ...(programModule.interfaces ?? []).map((declaration) => /** @type {const} */ ([/** @type {string} */ (declaration.id), programModule])),
       ...(programModule.errors ?? []).map((declaration) => /** @type {const} */ ([/** @type {string} */ (declaration.id), programModule])),
       ...programModule.functions.map((declaration) => /** @type {const} */ ([/** @type {string} */ (declaration.id), programModule]))
     ]) ?? [])
@@ -282,6 +292,34 @@ export class SourceWriter {
     return declaration.name
   }
 
+  /**
+   * Resolves one validated interface declaration.
+   * @param {string} declarationId - Stable interface identity.
+   * @returns {import("../semantic/types.js").InterfaceDeclaration} Interface declaration.
+   */
+  interfaceForId(declarationId) {
+    const declaration = this.interfaces.get(declarationId)
+
+    if (!declaration) throw new RangeError(`Unknown validated interface identity '${declarationId}'.`)
+
+    return declaration
+  }
+
+  /**
+   * Returns the target spelling of one interface.
+   * @param {string} declarationId - Stable interface declaration identity.
+   * @returns {string} Target spelling.
+   */
+  interfaceNameForId(declarationId) {
+    const declaration = this.interfaceForId(declarationId)
+    const imported = this.#programModule()?.imports.find((item) => item.declarationId == declarationId)
+
+    if (imported && (this.language == "javascript" || this.language == "typescript" || this.language == "php")) {
+      return this.importNameFor(imported)
+    }
+    return declaration.name
+  }
+
   /**
    * Resolves one validated owned-resource declaration.
    * @param {string} resourceId - Stable resource identity.
@@ -318,9 +356,9 @@ export class SourceWriter {
   }
 
   /**
-   * Resolves one validated receiver method.
+   * Resolves one validated receiver method, class-owned or interface-declared.
    * @param {string} methodId - Stable method identity.
-   * @returns {import("../semantic/types.js").MethodDeclaration} Method declaration.
+   * @returns {import("../semantic/types.js").MethodDeclaration | import("../semantic/types.js").InterfaceMethodDeclaration} Method declaration.
    */
   methodForId(methodId) {
     const method = this.methods.get(methodId)

package/src/frontends/java.js

@@ -4,7 +4,7 @@ import {parser} from "@lezer/java"
 import {SemantifoldDiagnostic, missingType, unsupportedSyntax} from "../diagnostic.js"
 import {locationFromOffsets, moduleLocation} from "../semantic/location.js"
 import {withAdaptedOperation} from "../semantic/operators.js"
-import {withParserRanges} from "../semantic/provenance.js"
+import {setParserRanges, withParserRanges} from "../semantic/provenance.js"
 import {hasOnlyUnicodeScalars} from "../semantic/scalars.js"
 import {isTask034ResourceProbe} from "../semantic/capabilities.js"
 import {hasExactEffectSupport} from "../backends/effects.js"
@@ -41,13 +41,15 @@ const referenceMethodHooks = new Set(["clone", "equals", "finalize", "getClass",
 /**
  * @typedef JavaConversionContext
  * @property {Map<string, import("../semantic/types.js").SemanticBindingType>} bindings - Explicitly typed visible bindings.
+ * @property {Set<string>} [catchBindingNames] - Lexically visible exact catch binding names.
+ * @property {Map<string, import("../semantic/types.js").CatchBinding>} [catchBindingNodes] - Exact catch binding nodes by visible name.
  * @property {Map<string, import("../semantic/types.js").ClassDeclaration>} classes - Reference classes by identity.
  * @property {import("../semantic/types.js").ClassDeclaration} [currentClass] - Enclosing reference class.
  * @property {Map<string, import("../semantic/types.js").ErrorDeclaration>} errorNames - Errors by source name.
  * @property {Map<string, import("../semantic/types.js").ErrorDeclaration>} errors - Errors by identity.
  * @property {Set<string>} erasedBindingNames - Source bindings consumed by exact semantic folds in this scope.
  * @property {Map<string, JavaFunctionSignature>} functions - Explicit module function signatures.
- * @property {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration>} recordNames - Nominal declarations by source name.
+ * @property {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration | import("../semantic/types.js").InterfaceDeclaration>} recordNames - Nominal declarations by source name.
  * @property {Map<string, import("../semantic/types.js").RecordDeclaration>} records - Records by identity.
  * @property {import("../semantic/types.js").SemanticFunctionReturnType | undefined} returnType - Enclosing return type.
  * @property {Map<string, import("../semantic/types.js").TypeParameter>} [typeParameters] - Declaration-scoped parameters.
@@ -258,6 +260,9 @@ function convertExpression(node, filename, source, context, expectedType) {
       kind: /** @type {const} */ ("ReferenceConstruction"), location,
       reference: referenceType(/** @type {string} */ (declaration.id), classLocation)}, {class: classLocation})
     }
+    if (declaration.kind == "InterfaceDeclaration") {
+      return unsupportedSyntax("java", "construction of an interface", nodeLocation(typeNode, filename, source))
+    }
     if (declaration.kind == "EffectResourceDeclaration") {
       return unsupportedSyntax("java", "owned resource construction", nodeLocation(typeNode, filename, source))
     }
@@ -970,7 +975,7 @@ function convertStatement(statement, filename, source, context) {
  * @param {string} filename - Source filename.
  * @param {string} source - Complete source.
  * @param {JavaConversionContext} context - Typed lexical context.
- * @returns {import("../semantic/types.js").RaiseStatement} Semantic raise.
+ * @returns {import("../semantic/types.js").RaiseStatement | import("../semantic/types.js").RethrowStatement} Semantic raise or rethrow.
  */
 function convertJavaRaise(statement, filename, source, context) {
   const location = nodeLocation(statement, filename, source)
@@ -980,6 +985,23 @@ function convertJavaRaise(statement, filename, source, context) {
   const arguments_ = argumentsNode ? structuralChildren(argumentsNode) : []
   const declaration = typeNode ? context.errorNames.get(nodeText(typeNode, source)) : undefined
 
+  if (!construction && arguments_.length == 0) {
+    const throwNode = requiredChild(statement, "throw", filename, source)
+    const rethrown = structuralChildren(statement).find((candidate) => candidate.name == "Identifier")
+    const binding = rethrown ? context.bindings.get(nodeText(rethrown, source)) : undefined
+
+    if (rethrown && binding?.kind == "ErrorType" && context.catchBindingNames?.has(nodeText(rethrown, source))) {
+      const bindingNode = context.catchBindingNodes?.get(nodeText(rethrown, source))
+
+      if (!bindingNode) return unsupportedSyntax("java", "throw of a catch binding without an exact handler binding", location)
+      return withParserRanges({
+        binding: nodeText(rethrown, source),
+        bindingNode,
+        kind: /** @type {const} */ ("RethrowStatement"),
+        location
+      }, {keyword: nodeLocation(throwNode, filename, source)})
+    }
+  }
   if (!construction || !typeNode || !argumentsNode || !declaration || arguments_.length != 1 || construction.getChild("ClassBody")) {
     return unsupportedSyntax("java", "throw other than exact declared error construction", location)
   }
@@ -1009,46 +1031,76 @@ function convertJavaTry(statement, filename, source, context) {
   const location = nodeLocation(statement, filename, source)
   const body = statement.getChild("Block")
   const catches = statement.getChildren("CatchClause")
+  const finalizer = statement.getChild("FinallyClause")
+
+  if (!body || (catches.length == 0 && !finalizer) || statement.getChild("ResourceSpecification")) {
+    return unsupportedSyntax("java", "try without catches or finally and without resources", location)
+  }
+  /** @type {import("../semantic/types.js").CatchHandler[]} */
+  const handlers = []
+  const seenHandlerNames = new Set(context.catchBindingNames ?? [])
+
+  for (const handler of catches) {
+    const parameter = handler.getChild("CatchFormalParameter")
+    const caught = parameter?.getChild("CatchType")
+    const typeNodes = caught ? structuralChildren(caught) : []
+    const definition = parameter?.getChild("Definition")
+    const catchBody = handler.getChild("Block")
+    const typeNode = typeNodes[0]
+    const declaration = typeNode ? context.errorNames.get(nodeText(typeNode, source)) : undefined
+
+    if (!parameter || !caught || typeNodes.length != 1 || typeNode?.name != "TypeName" || !definition || !catchBody || !declaration ||
+      parameter.getChild("Modifiers")) {
+      return unsupportedSyntax("java", "broad, multiple, or malformed catch", nodeLocation(handler, filename, source))
+    }
+    const name = nodeText(definition, source)
 
-  if (!body || catches.length != 1 || statement.getChild("FinallyClause") || statement.getChild("ResourceSpecification")) {
-    return unsupportedSyntax("java", "try without one catch and no resources or finally", location)
-  }
-  const handler = catches[0]
-  const parameter = handler.getChild("CatchFormalParameter")
-  const caught = parameter?.getChild("CatchType")
-  const typeNodes = caught ? structuralChildren(caught) : []
-  const definition = parameter?.getChild("Definition")
-  const catchBody = handler.getChild("Block")
-  const typeNode = typeNodes[0]
-  const declaration = typeNode ? context.errorNames.get(nodeText(typeNode, source)) : undefined
-
-  if (!parameter || !caught || typeNodes.length != 1 || typeNode?.name != "TypeName" || !definition || !catchBody || !declaration ||
-    parameter.getChild("Modifiers")) {
-    return unsupportedSyntax("java", "broad, multiple, or malformed catch", nodeLocation(handler, filename, source))
-  }
-  const caughtLocation = nodeLocation(typeNode, filename, source)
-  const catchType = withParserRanges({declarationId: /** @type {string} */ (declaration.id), kind: /** @type {const} */ ("ErrorType")}, {
-    type: caughtLocation
-  })
-  const bodyContext = {...context, bindings: new Map(context.bindings), erasedBindingNames: new Set(context.erasedBindingNames)}
-  const catchContext = {...context, bindings: new Map(context.bindings), erasedBindingNames: new Set(context.erasedBindingNames)}
-  const name = nodeText(definition, source)
+    if (seenHandlerNames.has(name)) {
+      return unsupportedSyntax("java", `catch binding '${name}' shadows an outer handler binding`, nodeLocation(definition, filename, source))
+    }
+    seenHandlerNames.add(name)
+    const caughtLocation = nodeLocation(typeNode, filename, source)
+    const catchType = withParserRanges({declarationId: /** @type {string} */ (declaration.id), kind: /** @type {const} */ ("ErrorType")}, {
+      type: caughtLocation
+    })
+    const catchContext = {...context, bindings: new Map(context.bindings), erasedBindingNames: new Set(context.erasedBindingNames),
+      catchBindingNames: new Set(seenHandlerNames), catchBindingNodes: new Map(context.catchBindingNodes)}
 
-  catchContext.bindings.set(name, catchType)
-  return withParserRanges({
-    body: convertBlock(body, filename, source, bodyContext),
-    catchBinding: withParserRanges({
+    catchContext.bindings.set(name, catchType)
+    const catchBindingNode = withParserRanges({
       kind: /** @type {const} */ ("CatchBinding"),
       location: nodeLocation(definition, filename, source),
       mutable: /** @type {const} */ (false),
       name,
       type: catchType
-    }, {name: nodeLocation(definition, filename, source)}),
-    catchBody: convertBlock(catchBody, filename, source, catchContext),
-    catchType,
+    }, {name: nodeLocation(definition, filename, source)})
+
+    catchContext.catchBindingNodes.set(name, catchBindingNode)
+    handlers.push(withParserRanges({
+      catchBinding: catchBindingNode,
+      catchBody: convertBlock(catchBody, filename, source, catchContext),
+      catchType,
+      kind: /** @type {const} */ ("CatchHandler"),
+      location: nodeLocation(handler, filename, source)
+    }, {catch: nodeLocation(handler, filename, source)}))
+  }
+  const bodyContext = {...context, bindings: new Map(context.bindings), erasedBindingNames: new Set(context.erasedBindingNames)}
+  const semantic = /** @type {import("../semantic/types.js").TryStatement} */ (withParserRanges({
+    body: convertBlock(body, filename, source, bodyContext),
+    handlers,
     kind: /** @type {const} */ ("TryStatement"),
     location
-  }, {catch: nodeLocation(handler, filename, source), try: nodeLocation(requiredChild(statement, "try", filename, source), filename, source)})
+  }, {try: nodeLocation(requiredChild(statement, "try", filename, source), filename, source)}))
+
+  if (finalizer) {
+    const finallyBlock = finalizer.getChild("Block")
+
+    if (!finallyBlock) return unsupportedSyntax("java", "malformed finally block", nodeLocation(finalizer, filename, source))
+    semantic.finallyBody = convertBlock(finallyBlock, filename, source, bodyContext)
+    setParserRanges(semantic, {finally: nodeLocation(finalizer, filename, source),
+      try: nodeLocation(requiredChild(statement, "try", filename, source), filename, source)})
+  }
+  return semantic
 }
 
 /**
@@ -1534,7 +1586,7 @@ function convertJavaOrderedMapSequence(statements, start, filename, source, cont
  * @param {import("../semantic/types.js").SourceLocation} location - Source location.
  * @param {string} filename - Source filename.
  * @param {string} source - Complete source.
- * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration>} [recordNames] - Nominal declarations by source name.
+ * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration | import("../semantic/types.js").InterfaceDeclaration>} [recordNames] - Nominal declarations by source name.
  * @param {Map<string, import("../semantic/types.js").TypeParameter>} [typeParameters] - Declaration-scoped parameters.
  * @returns {import("../semantic/types.js").SemanticValueType} Semantic type.
  */
@@ -1636,7 +1688,7 @@ function convertType(sourceType, subject, location, filename, source, recordName
  * @param {import("../semantic/types.js").SourceLocation} location - Owning location.
  * @param {string} filename - Source filename.
  * @param {string} source - Complete source.
- * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration>} [recordNames] - Nominal declarations by source name.
+ * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration | import("../semantic/types.js").InterfaceDeclaration>} [recordNames] - Nominal declarations by source name.
  * @param {Map<string, import("../semantic/types.js").TypeParameter>} [typeParameters] - Declaration-scoped parameters.
  * @returns {import("../semantic/types.js").SemanticValueType} Semantic type.
  */
@@ -1668,7 +1720,7 @@ function convertJavaTypeArgument(node, subject, location, filename, source, reco
  * @param {import("../semantic/types.js").SourceLocation} location - Function location.
  * @param {string} filename - Source filename.
  * @param {string} source - Complete source.
- * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration>} [recordNames] - Nominal declarations by source name.
+ * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration | import("../semantic/types.js").InterfaceDeclaration>} [recordNames] - Nominal declarations by source name.
  * @param {Map<string, import("../semantic/types.js").TypeParameter>} [typeParameters] - Declaration-scoped parameters.
  * @returns {import("../semantic/types.js").SemanticFunctionReturnType} Semantic return type.
  */
@@ -1724,7 +1776,7 @@ function convertJavaTypeParameters(node, ownerId, filename, source) {
  * @param {import("@lezer/common").SyntaxNode} node - Method declaration.
  * @param {string} filename - Source filename.
  * @param {string} source - Complete source.
- * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration>} recordNames - Nominal declarations by source name.
+ * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration | import("../semantic/types.js").InterfaceDeclaration>} recordNames - Nominal declarations by source name.
  * @param {boolean} [programFunction] - Whether the canonical project profile admits explicit public or private visibility.
  * @param {string} [ownerId] - Stable function identity.
  * @param {boolean} [referenceModule] - Whether package-visible static functions are required by sibling reference classes.
@@ -1794,7 +1846,7 @@ function convertFunctionSignature(node, filename, source, recordNames, programFu
  * @param {import("@lezer/common").SyntaxNode} node - Method declaration.
  * @param {JavaFunctionSignature} signature - Preconverted function signature.
  * @param {Map<string, JavaFunctionSignature>} functions - Module function signatures.
- * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration>} recordNames - Nominal declarations by source name.
+ * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration | import("../semantic/types.js").InterfaceDeclaration>} recordNames - Nominal declarations by source name.
  * @param {Map<string, import("../semantic/types.js").RecordDeclaration>} records - Record declarations by identity.
  * @param {Map<string, import("../semantic/types.js").ClassDeclaration>} classes - Reference classes by identity.
  * @param {Map<string, import("../semantic/types.js").ErrorDeclaration>} errorNames - Error declarations by source name.
@@ -1883,7 +1935,7 @@ function convertJavaError(node, declaration, filename, source, programError = fa
  * Reads one package-private Java reference constructor or instance-method signature.
  * @param {import("@lezer/common").SyntaxNode} node - Constructor or method declaration.
  * @param {import("../semantic/types.js").ClassDeclaration} declaration - Declaring class.
- * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration>} nominalNames - Visible nominal declarations.
+ * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration | import("../semantic/types.js").InterfaceDeclaration>} nominalNames - Visible nominal declarations.
  * @param {boolean} constructor - Whether this is the sole constructor.
  * @param {string} filename - Source filename.
  * @param {string} source - Complete source.
@@ -1929,7 +1981,7 @@ function convertJavaClassCallableSignature(node, declaration, nominalNames, cons
  * Converts the bounded final/private-field Java reference-class profile.
  * @param {import("@lezer/common").SyntaxNode} node - Class declaration.
  * @param {import("../semantic/types.js").ClassDeclaration} declaration - Predeclared class identity.
- * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration>} nominalNames - Visible nominal declarations.
+ * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration | import("../semantic/types.js").InterfaceDeclaration>} nominalNames - Visible nominal declarations.
  * @param {Map<string, import("../semantic/types.js").RecordDeclaration>} records - Records by identity.
  * @param {Map<string, import("../semantic/types.js").ClassDeclaration>} classes - Classes by identity.
  * @param {Map<string, JavaFunctionSignature>} functions - Top-level signatures.
@@ -2227,7 +2279,7 @@ function convertWhile(node, filename, source, context) {
  * @param {string} filename - Source filename.
  * @param {string} source - Complete source.
  * @param {Map<string, JavaFunctionSignature>} functions - Module function signatures.
- * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration>} recordNames - Nominal declarations by source name.
+ * @param {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration | import("../semantic/types.js").InterfaceDeclaration>} recordNames - Nominal declarations by source name.
  * @param {Map<string, import("../semantic/types.js").RecordDeclaration>} records - Record declarations by identity.
  * @param {Map<string, import("../semantic/types.js").ClassDeclaration>} classes - Reference classes by identity.
  * @param {Map<string, import("../semantic/types.js").ErrorDeclaration>} errorNames - Error declarations by source name.
@@ -2393,7 +2445,7 @@ export function parseJava({capabilities = [], filename, source, program}) {
     kind: /** @type {const} */ ("ClassDeclaration"), location: nodeLocation(classNode, filename, source), methods: [],
     name: nodeText(requiredChild(classNode, "Definition", filename, source), source)
   }))
-  const recordNames = /** @type {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration>} */ (
+  const recordNames = /** @type {Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration | import("../semantic/types.js").InterfaceDeclaration>} */ (
     new Map(recordDeclarations.map((declaration) => /** @type {const} */ ([declaration.name, declaration]))))
   for (const resource of capabilities.flatMap(({resources}) => resources)) recordNames.set(resource.name, resource)
   for (const declaration of referenceDeclarations) recordNames.set(declaration.name, declaration)