import "./numeric-invariants-cases/array-index-proofs.test.js";
import "./numeric-invariants-cases/arrow-function-proofs.test.js";
import "./numeric-invariants-cases/binary-promotion.test.js";
import "./numeric-invariants-cases/literal-range-validation.test.js";
import "./numeric-invariants-cases/narrowing-intent.test.js";
//# sourceMappingURL=numeric-invariants.test.js.map