ruff
[ty] Add property test generators for variable-length tuples
#18901

Merged

[ty] Add property test generators for variable-length tuples #18901

dcreager merged 16 commits into main from dcreager/proptest-tuple

Add property test generators for variable-length tuples

d1904954

dcreager requested a review from

carljm 86 days ago

dcreager requested a review from

AlexWaygood 86 days ago

dcreager requested a review from

sharkdp 86 days ago

dcreager added internal

dcreager added ty

MichaReiser removed internal

MichaReiser added testing

carljm commented on 2025-06-23

fix tuple truthiness

148f0e41

simplify `tuple[Never, ...]` to empty tuple

93dc5d5a

handle disjointness better

724ea5ba

fix disjoint length check

9da796b6

fix disjoint for variable-length

e7ea01e9

prenormalize tuples

89f4b713

Merge branch 'main' into dcreager/proptest-tuple

7701f689

fix tests

fd9d992e

clean up prenormalize

fea71121

AlexWaygood commented on 2025-06-24

Apply suggestions from code review

5e92755f

use better equivalent types

e75a0ccc

pre-commit

c0dddb97

carljm approved these changes on 2025-06-24

AlexWaygood removed testing

AlexWaygood commented on 2025-06-24

better prenormalization comments

e22a8ea1

Apply suggestions from code review

a9ace8fa

add mixed tuple truthiness tests

35a675ff

AlexWaygood approved these changes on 2025-06-24

dcreager merged 66f50fb0 into main 85 days ago

dcreager deleted the dcreager/proptest-tuple branch 85 days ago

Reviewers

AlexWaygood

carljm

sharkdp

Assignees

No one assigned

Labels

Milestone

No milestone

ruff [ty] Add property test generators for variable-length tuples #18901 Merged

[ty] Add property test generators for variable-length tuples #18901

ruff
[ty] Add property test generators for variable-length tuples
#18901

Merged