Skip to content

[WIP] Rework impl/interface error messages#7039

Closed
zth wants to merge 2 commits intomasterfrom
interface-mismatch-revamp
Closed

[WIP] Rework impl/interface error messages#7039
zth wants to merge 2 commits intomasterfrom
interface-mismatch-revamp

Conversation

@zth
Copy link
Copy Markdown
Member

@zth zth commented Sep 15, 2024

Rework impl/interface mismatch errors. WIP.

@zth zth closed this Apr 29, 2025
@zth zth deleted the interface-mismatch-revamp branch April 29, 2025 09:09
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