/**
 * INV-0 Enforcement Test: No TypeScript Computed Types in IR Pipeline
 *
 * This test enforces Alice's specification that the IR typing pipeline
 * must NEVER use TypeScript's computed type APIs. All IR types must come from:
 * - Declared TypeNodes (annotations, signatures, property types)
 * - Globals TypeNodes (@tsonic/globals, BCL bindings)
 * - Bounded deterministic inference (lexeme intent + expectedType threading)
 *
 * TS checker is allowed ONLY for:
 * - Symbol lookup (getSymbolAtLocation)
 * - Overload selection (getResolvedSignature)
 * - Module resolution
 * - symbol.getDeclarations()
 */
export {};
//# sourceMappingURL=no-ts-type-inference.test.d.ts.map