julia
subtype: save some union stack space for ∃ free cases.
#58159

Merged

subtype: save some union stack space for ∃ free cases. #58159

N5N3 merged 1 commit into JuliaLang:master from N5N3:subtype-fix

N5N3 added types and dispatch

N5N3 added backport 1.10

N5N3 added backport 1.11

N5N3 added backport 1.12

vtjnash added needs pkgeval

subtype: save some union stack space for ∃ free cases.

0767a804

N5N3 force pushed from dd90c56e to 0767a804 308 days ago

N5N3 removed needs pkgeval

N5N3 merged 334c3167 into master 305 days ago

N5N3 deleted the subtype-fix branch 305 days ago

KristofferC removed backport 1.12

KristofferC removed backport 1.11

github-actions removed backport 1.10

Reviewers

No reviews

Assignees

No one assigned

Labels

types and dispatch

Milestone

No milestone