Closed
Description
The methods in the ResolventOps
trait are currently unimplemented:
rust/src/librustc_traits/chalk_context.rs
Lines 275 to 297 in e1643a8
These methods perform various unification-like operations and will need to be implemented in rustc.