Infer bounded type for untyped int literals in comparisons#1016

jcp19 wants to merge 1 commit into

masterviperproject/gobra:masterfrom

claude/refine-local-plan-3Q2Ipviperproject/gobra:claude/refine-local-plan-3Q2IpCopy head branch name to clipboard