Skip to content

Remove filtering of mixed int/slice indexing test case#62

Merged
dcherian merged 2 commits intomainfrom
update-proptest
Dec 10, 2025
Merged

Remove filtering of mixed int/slice indexing test case#62
dcherian merged 2 commits intomainfrom
update-proptest

Conversation

@dcherian
Copy link
Copy Markdown
Contributor

@dcherian dcherian commented Dec 10, 2025

Closes #58

@dcherian dcherian changed the title Remove mixed int/slice indexing test case Remove filtering of mixed int/slice indexing test case Dec 10, 2025
@dcherian dcherian enabled auto-merge (squash) December 10, 2025 15:53
@dcherian dcherian merged commit 4efdf2a into main Dec 10, 2025
9 checks passed
@dcherian dcherian deleted the update-proptest branch December 10, 2025 15:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

support mixed int/slice indexing

1 participant