PR #42263 avoid `Any32` type in `filter` for tuples

avoid `Any32` type in `filter` for tuples #42263

JeffBezanson merged 1 commit into master from jb/filter32tuple

avoid `Any32` type in `filter` for tuples. fixes #42236

71349b72

vtjnash approved these changes on 2021-09-15

timholy approved these changes on 2021-09-15

ararslan approved these changes on 2021-09-15

Sacha0 approved these changes on 2021-09-15

JeffBezanson added backport 1.7

JeffBezanson merged 5a1b8be0 into master 4 years ago

JeffBezanson deleted the jb/filter32tuple branch 4 years ago

KristofferC removed backport 1.7

Reviewers

ararslan

timholy

vtjnash

Sacha0

Assignees

No one assigned

Labels

None yet

Milestone

No milestone