rust-lang / chalk

An implementation and definition of the Rust trait system using a PROLOG-like logic solver
https://rust-lang.github.io/chalk/book/
Other
1.8k stars 177 forks source link

refactor how RustIr manages ADTs (and maybe other types) #506

Open nikomatsakis opened 4 years ago

nikomatsakis commented 4 years ago

Currently the RustIrDatabase trait has methods that return Arc<SomeRustIrType>, but this doesn't map that well to rustc, as it must create these awkward types. We could instead have finer-grained methods. For the case of ADTs, we might have e.g.:

This issue has been assigned to @doctorn via this comment.

doctorn commented 4 years ago

@rustbot claim