Work around ty false positive invalid-argument-type

finite-state-machine · finite-state-machine · commit c1129cc578d0 · 2026-01-03T19:41:41.000-05:00
diff --git a/typing-examples/baseline.py b/typing-examples/baseline.py
@@ -98,7 +98,11 @@ class Validated:
 class ValidatedOptionalOverTuple:
     num: int | None = attrs.field(
         validator=attrs.validators.optional(
-            (attrs.validators.instance_of(int), attrs.validators.ge(0))
+            (attrs.validators.instance_of(int), attrs.validators.ge(int(0)))
+            # `int(0)` needed to avoid false positive
+            #     `invalid-argument-type` when checking with
+            #     ty 0.0.8 (aa7559db8 2025-12-29): ty assumes `ge`'s
+            #     specialization is `Literal[0]` rather than `int`
         )
     )
 

Original file line number	Diff line number	Diff line change
`@@ -98,7 +98,11 @@ class Validated:`
`98`	`98`	`class ValidatedOptionalOverTuple:`
`99`	`99`	`num: int \| None = attrs.field(`
`100`	`100`	`validator=attrs.validators.optional(`
`101`		`- (attrs.validators.instance_of(int), attrs.validators.ge(0))`
	`101`	`+ (attrs.validators.instance_of(int), attrs.validators.ge(int(0)))`
	`102`	+ # `int(0)` needed to avoid false positive
	`103`	+ # `invalid-argument-type` when checking with
	`104`	+ # ty 0.0.8 (aa7559db8 2025-12-29): ty assumes `ge`'s
	`105`	+ # specialization is `Literal[0]` rather than `int`
`102`	`106`	`)`
`103`	`107`	`)`
`104`	`108`