int filter: use Number.isSafeInteger instead of Number.isInteger

.changeset/young-terms-wink.md

@@ -0,0 +1,5 @@
+---
+"@effect/schema": patch
+---
+
+int filter: use Number.isSafeInteger instead of Number.isInteger

src/Schema.ts

@@ -1973,7 +1973,7 @@ export const IntTypeId = Symbol.for("@effect/schema/TypeId/Int")
 export const int =
   <A extends number>(options?: FilterAnnotations<A>) => <I>(self: Schema<I, A>): Schema<I, A> =>
     self.pipe(
-      filter((a): a is A => Number.isInteger(a), {
+      filter((a): a is A => Number.isSafeInteger(a), {
         typeId: IntTypeId,
         description: "integer",
         jsonSchema: { type: "integer" },

test/Schema/fromBrand.test.ts

@@ -4,7 +4,7 @@ import * as Util from "@effect/schema/test/util"
 
 type Int = number & Brand.Brand<"Int">
 const Int = Brand.refined<Int>(
-  (n) => Number.isInteger(n),
+  (n) => Number.isSafeInteger(n),
   (n) => Brand.error(`Expected ${n} to be an integer`)
 )
 

test/number/int.test.ts

@@ -3,7 +3,7 @@ import * as Pretty from "@effect/schema/Pretty"
 import * as S from "@effect/schema/Schema"
 import * as Util from "@effect/schema/test/util"
 
-const schema = S.number.pipe(S.int())
+const schema = S.Int
 
 describe("number/int", () => {
   it("property tests", () => {
@@ -15,6 +15,8 @@ describe("number/int", () => {
     expect(is(0)).toEqual(true)
     expect(is(1)).toEqual(true)
     expect(is(0.5)).toEqual(false)
+    expect(is(Number.MAX_SAFE_INTEGER + 1)).toEqual(false)
+    expect(is(Number.MIN_SAFE_INTEGER - 1)).toEqual(false)
   })
 
   it("decoding", async () => {