julia
typeintersect: improve `merge_env` accuracy and avoid possible false `Union{}`
#48167

Merged

typeintersect: improve `merge_env` accuracy and avoid possible false `Union{}` #48167

N5N3 merged 8 commits into JuliaLang:master from N5N3:inter-fix2

N5N3 added types and dispatch

N5N3 added needs pkgeval

N5N3 added don't squash

N5N3 requested a review from

vtjnash 3 years ago

N5N3 force pushed from ea3ea0e6 to 6e0c036e 3 years ago

N5N3 force pushed from b1c5772e to e0739d37 3 years ago

vtjnash commented on 2023-01-09

vtjnash removed needs pkgeval

N5N3 force pushed from e0739d37 to 12274e43 3 years ago

vtjnash commented on 2023-01-10

N5N3 force pushed from 12274e43 to 72f75cba 3 years ago

N5N3 force pushed from 9a75fec9 to f1c7c20c 3 years ago

N5N3 force pushed from f1c7c20c to 69eb8fa3 3 years ago

N5N3 force pushed from 69eb8fa3 to 49ac572f 3 years ago

N5N3 force pushed from 49ac572f to 81e2e5e0 3 years ago

N5N3 force pushed from 81e2e5e0 to 32001f56 3 years ago

N5N3 force pushed from 32001f56 to 1f4424f4 3 years ago

N5N3 force pushed from 1f4424f4 to 4f6b4367 3 years ago

Only merge vars occur in the local union decision.

748149ef

Omit circular bounds in upbound to avoid false `Union{}`

30373420

Always accumulates bounds on outer var.

56be1cd4

bounds merge tuning

df377ad9

Add another by bounds check to avoid stack-overflow.

5e2fbc84

More circulation check.

c221f0f9

More thorough `reachable_var` check.

04cb6fb9

"Widen" `T>:Any` to `Any` in `simple_join`.

11d83b85

N5N3 force pushed from 4f6b4367 to 11d83b85 3 years ago

vtjnash added merge me

N5N3 merged d2c27096 into master 3 years ago

N5N3 removed merge me

N5N3 deleted the inter-fix2 branch 3 years ago

Reviewers

vtjnash

Assignees

No one assigned

Labels

types and dispatch don't squash

Milestone

No milestone

julia typeintersect: improve `merge_env` accuracy and avoid possible false `Union{}` #48167 Merged

typeintersect: improve `merge_env` accuracy and avoid possible false `Union{}` #48167

julia
typeintersect: improve `merge_env` accuracy and avoid possible false `Union{}`
#48167

Merged