/**
 * Numeric Invariants: Narrowing Intent, Declared Types, Source Spans, Propagation
 *
 * INVARIANT 1: numericIntent can ONLY come from numericNarrowing expressions
 *
 * Also covers:
 * - Declared numeric type preferences (explicit variable type over initializer)
 * - Source span accuracy in diagnostics
 * - Proven variable propagation through multiple uses
 */
export {};
//# sourceMappingURL=narrowing-intent.test.d.ts.map