PR #23447 fix #23430, counter overflow in subtyping

fix #23430, counter overflow in subtyping #23447

JeffBezanson merged 1 commit into master from jb/fix23430

fix #23430, counter overflow in subtyping

4d4b9ce0

JeffBezanson added backport pending 0.6

JeffBezanson added bugfix

JeffBezanson added types and dispatch

JeffBezanson merged 5b120517 into master 8 years ago

JeffBezanson deleted the jb/fix23430 branch 8 years ago

ararslan removed backport pending 0.6

Reviewers

No reviews

Assignees

No one assigned

Labels

types and dispatch bugfix

Milestone

No milestone