Skip to content

Generalize alternative-type resolution#53

Merged
romanpauk merged 1 commit intomasterfrom
feature/variant-II
Mar 30, 2026
Merged

Generalize alternative-type resolution#53
romanpauk merged 1 commit intomasterfrom
feature/variant-II

Conversation

@romanpauk
Copy link
Copy Markdown
Owner

No description provided.

@romanpauk romanpauk force-pushed the feature/variant-II branch 3 times, most recently from 9d254df to 758ce51 Compare March 30, 2026 10:56
@romanpauk romanpauk force-pushed the feature/variant-II branch from 758ce51 to 6bedd72 Compare March 30, 2026 11:51
@romanpauk romanpauk merged commit 1163d6b into master Mar 30, 2026
50 checks passed
@romanpauk romanpauk deleted the feature/variant-II branch March 30, 2026 12:11
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