Skip to content

Drop names and titles in comparison and equality functions - #162

Merged
DavisVaughan merged 1 commit into
mainfrom
feature/names-titles
Oct 20, 2026
Merged

DavisVaughan merged 1 commit into
mainfrom
feature/names-titles

Conversation

@DavisVaughan

Copy link
Copy Markdown
Member

We've decided that these derive logical vectors from arbitrary types so names aren't meaningful, therefore new names related errors shouldn't block them from working. To get that, we have to ensure these drop names

@DavisVaughan
DavisVaughan merged commit bb1dfb2 into main Oct 20, 2026
10 checks passed
@DavisVaughan
DavisVaughan deleted the feature/names-titles branch October 20, 2026 00:39
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