Skip to content

Prefer InferErr over CheckerErr if we can#936

Merged
nilehmann merged 2 commits intomainfrom nico/prefer-infer-err-over-checker-errDec 11, 2024

Commits

Commits on Dec 11, 2024