Return boolean for is_integer/3 with all integers

josevalim · josevalim · commit 528f8e7d7b68 · 2026-03-14T11:17:17.000+01:00
diff --git a/lib/elixir/lib/module/types/apply.ex b/lib/elixir/lib/module/types/apply.ex
@@ -325,7 +325,7 @@ defmodule Module.Types.Apply do
         Macro.escape(
           {:strong, [term(), integer(), integer()],
            [
-             {[integer(), integer(), integer()], atom([true])},
+             {[integer(), integer(), integer()], boolean()},
              {[negation(integer()), integer(), integer()], atom([false])}
            ]}
         )

Original file line number	Diff line number	Diff line change
`@@ -325,7 +325,7 @@ defmodule Module.Types.Apply do`
`325`	`325`	`Macro.escape(`
`326`	`326`	`{:strong, [term(), integer(), integer()],`
`327`	`327`	`[`
`328`		`- {[integer(), integer(), integer()], atom([true])},`
	`328`	`+ {[integer(), integer(), integer()], boolean()},`
`329`	`329`	`{[negation(integer()), integer(), integer()], atom([false])}`
`330`	`330`	`]}`
`331`	`331`	`)`