Skip to content

Add #[patch(by_is_empty)]#133

Closed
yanganto wants to merge 3 commits intomainfrom
is_empty
Closed

Add #[patch(by_is_empty)]#133
yanganto wants to merge 3 commits intomainfrom
is_empty

Conversation

@yanganto
Copy link
Copy Markdown
Owner

@yanganto yanganto commented Mar 24, 2026

NOTE: there is no is_empty for bool, and we can not use HashSet with #()* in macrors

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.

1 participant