julia
fix #22787, another bounds circularity in type intersection
#38245

Merged

fix #22787, another bounds circularity in type intersection #38245

Sacha0 merged 1 commit into master from jb/fix22787

JeffBezanson added types and dispatch

JeffBezanson added bugfix

JeffBezanson force pushed from 86609ec3 to 2ff075e4 5 years ago

Sacha0 approved these changes on 2020-10-31

NHDaly commented on 2020-11-02

fix #22787, another bounds circularity in type intersection

addb20c2

JeffBezanson force pushed from 2ff075e4 to addb20c2 5 years ago

Sacha0 merged ce1cf9f4 into master 5 years ago

Sacha0 deleted the jb/fix22787 branch 5 years ago

Reviewers

Sacha0

vtjnash

martinholters

NHDaly

Assignees

No one assigned

Labels

types and dispatch bugfix

Milestone

No milestone