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

Usability improvements #160

Closed nikomatsakis closed 9 months ago

nikomatsakis commented 9 months ago

I've been working on the dada-model and I made a number of improvements to usability. The most notable one is that judgments now track and report errors as a kind of call stack -- I think there's still room for improvement here but it at least tells you that things fail for the reasons you expect them to.