search

rust-lang / a-mir-formality

a model of MIR and the Rust type/trait system
Apache License 2.0
282 stars 33 forks source link

test issue #169

Closed compiler-errors closed 4 months ago

compiler-errors commented 4 months ago

uwu

compiler-errors commented 4 months ago

@rustbot claim

compiler-errors commented 4 months ago

@rustbot assign @lcnr