/**
 * Tests for IR Soundness Gate – Deterministic Inference Diagnostics
 *
 * Validates that the soundness gate correctly emits diagnostics when:
 * - Call return type recovery fails (TSN5201)
 * - Constructor type argument recovery fails (TSN5202)
 * - Root inferred unknown call types still use the targeted TSN5201 diagnostic
 */
export {};
//# sourceMappingURL=inference-diagnostics.test.d.ts.map