julia
Subtype: avoid false alarm caused by eager `forall_exists_subtype`.
#48441

Merged

Subtype: avoid false alarm caused by eager `forall_exists_subtype`. #48441

N5N3 merged 3 commits into JuliaLang:master from N5N3:forall_tuning

N5N3 added types and dispatch

N5N3 added bugfix

N5N3 force pushed from 48fc5ff2 to c7fd50f8 3 years ago

N5N3 force pushed from c7fd50f8 to f9b6264c 3 years ago

N5N3 requested a review from

vtjnash 3 years ago

N5N3 force pushed from f9b6264c to 6ae113f2 3 years ago

vtjnash commented on 2023-02-01

vtjnash approved these changes on 2023-02-01

Avoid earsing `Runion` within nested `forall_exists_subtype`

282bf48f

Change the reversed subtyping into a local check.

64c3b4b9

Optimization for non-union invariant parameter.

a62e3e9a

N5N3 force pushed from 6ae113f2 to a62e3e9a 3 years ago

N5N3 merged 96acd4d4 into master 3 years ago

N5N3 deleted the forall_tuning branch 3 years ago

KristofferC added backport 1.9

KristofferC removed backport 1.9

Reviewers

vtjnash

Assignees

No one assigned

Labels

types and dispatch bugfix

Milestone

No milestone