PR #46446 Fix `typeintersect` bug reported in #36443

Fix `typeintersect` bug reported in #36443 #46446

N5N3 merged 9 commits into JuliaLang:master from N5N3:Fix-36443

N5N3 added types and dispatch

N5N3 force pushed from 3bee7060 to 5d315312 3 years ago

N5N3 force pushed from 5d315312 to 3eac8e20 3 years ago

N5N3 force pushed from 56cb9da1 to 707fcdba 3 years ago

N5N3 force pushed from 9786d245 to 3e3feddf 3 years ago

N5N3 force pushed from 3e3feddf to c04c3ae8 3 years ago

N5N3 force pushed from c04c3ae8 to 417027db 3 years ago

N5N3 force pushed from 417027db to 7202845b 3 years ago

N5N3 force pushed from 2ade907f to 5cc3f2ae 3 years ago

N5N3 force pushed from 5cc3f2ae to 82e2a9f4 3 years ago

N5N3 force pushed from 82e2a9f4 to 68f59a8a 3 years ago

N5N3 force pushed from 68f59a8a to e5a5172b 3 years ago

N5N3 force pushed from e5a5172b to 757b4433 3 years ago

N5N3 force pushed from 757b4433 to 211f1598 3 years ago

N5N3 force pushed from 211f1598 to e7b327bb 3 years ago

N5N3 force pushed from e7b327bb to 62d29c8d 3 years ago

N5N3 force pushed from 62d29c8d to e23f9e5d 3 years ago

N5N3 force pushed from e23f9e5d to 9e1e4ed6 3 years ago

N5N3 force pushed from 111c1762 to 9d30a620 3 years ago

N5N3 force pushed from 9d30a620 to 851662d1 3 years ago

Keno requested a review from

JeffBezanson 3 years ago

N5N3 force pushed from 126677b9 to 245f3c4c 3 years ago

vtjnash commented on 2022-08-31

N5N3 force pushed from 245f3c4c to 689d1388 3 years ago

Avoid setting `offset` when we intersect `Vararg`'s eltype.

01a4a30a

Skip subtype check if `intersect_invariant` calls `set_vat_to_const`.

e6d2624a

Add tuple length offset when we intersect 2 `Vararg`'s length.

f29a0133

Always return the shorter `Vararg` length.

38829a0a

Avoid set `var`'s bounds if `offset != 0`

b7f47d53

subtype: add tests for `Vararg` expansion.

a6a5f009

Make `bound_var_below` return `NULL` if the input typevar is not valid.

12685822

Avoid set var's lb if intersect return a Vararg with free length. (Nu…

2abedf6d

subtyping: add tests for various Vararg bounds bugs

4654cfa1

N5N3 force pushed from 689d1388 to 4654cfa1 3 years ago

N5N3 merged 852e3130 into master 3 years ago

N5N3 deleted the Fix-36443 branch 3 years ago

Reviewers

vtjnash

JeffBezanson

Assignees

No one assigned

Labels

types and dispatch

Milestone

No milestone

julia Fix `typeintersect` bug reported in #36443 #46446 Merged

Fix `typeintersect` bug reported in #36443 #46446

julia
Fix `typeintersect` bug reported in #36443
#46446

Merged