The core trait solving engine used in Chalk. This engine is meant to
be reused by rustc. Other projects may of course re-use it too, if you
have a need, but don't expect much stability in the interface yet.
