Infer types from guards (except or/orelse) #15032

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Open

josevalim wants to merge 8 commits into main from jv-guards-and

+479 −182

Member

josevalim commented Dec 31, 2025 •

edited

Loading

Ensure types from guards propagate to patterns
Move orelse and andalso to pattern.ex
Postpone type inference for deterministic tests

josevalim added 8 commits

December 31, 2025 10:49


          Initial work on processing guards, or/orelse excluded

7ab2145


          is_function/2

41b4b00


          is_map_key/2

c20a874


          All type checking guards

7be9618


          Remove redundant tests

70a2477


          Concise

c11f8f8


          Warn if a guard will always fail

8e574e5


          Update docs

f0c3269

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet