Skip to content

Improve error message for generic subtyping.#4517

Merged
jemc merged 2 commits intomainfrom jemc-subtype-error-message-improveMay 14, 2024

Commits

Commits on May 7, 2024