search

rust-lang / trait-system-refactor-initiative

The Rustc Trait System Refactor Initiative
22 stars 0 forks source link

reimplement `translate_args` inside of the solver #115

Closed lcnr closed 5 months ago

lcnr commented 6 months ago

It is used by the solver while using fulfillment. This means it may be broken in a bunch of ways, e.g. by resulting in unguarded recursion.

We should reimplemented this using the EvalCtxt itself