julia
13bcdf12 - simplify and improve type intersection algorithm a bit

Commit

4 years ago

simplify and improve type intersection algorithm a bit This removes some code and makes a class of results more conservative, fixing some potential cases of unsoundness.

References

#41795 - simplify and improve type intersection algorithm a bit

Author

JeffBezanson

Committer

JeffBezanson

Parents

a11de316

julia 13bcdf12 - simplify and improve type intersection algorithm a bit

julia
13bcdf12 - simplify and improve type intersection algorithm a bit