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

Check trait items for duplicate function names or associated type names #179

Closed FullyNonlinear closed 3 months ago

FullyNonlinear commented 3 months ago

This PR adds checks for duplicate function names or duplicate associated type names.