Convert `check_adt` to a judgment function

March 30, 2026 · #292
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