Convert `check_trait_impl` to a judgment function
March 30, 2026 · #290
Rust
Difficulty: Medium
Labels
enhancement good first issue
Parent Repository
rust-lang/a-mir-formality
Rust repository
337 57
Labels
rust-lang/a-mir-formality
Rust repository
Sign in required
Authenticate to use favourites & bookmarks