Convert check functions to judgment functions

March 30, 2026 · #288
View on GitHub
Rust Difficulty: Medium

Labels

enhancement meta

Parent Repository

rust-lang/a-mir-formality

Rust repository

337 57
All Issues Back to a-mir-formality

Sign in required

Authenticate to use favourites & bookmarks

5