Convert `check_fn` / `check_free_fn` to judgment functions

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

Labels

enhancement good first issue

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