Skip to content

Enhance best match to prefer errors from matching types.#972

Merged
Julian merged 1 commit intomainfrom
best-match-type
Jul 10, 2022
Merged

Enhance best match to prefer errors from matching types.#972
Julian merged 1 commit intomainfrom
best-match-type

Conversation

@Julian
Copy link
Member

@Julian Julian commented Jul 10, 2022

Closes: #728

@Julian Julian force-pushed the best-match-type branch from ba9375c to e39abdb Compare July 10, 2022 07:11
@Julian Julian merged commit 726d546 into main Jul 10, 2022
@Julian Julian deleted the best-match-type branch July 10, 2022 21:28
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.

Enhancing best_match through by sorting the type of error

1 participant