Module engine 

Structs

ObligationCtxt

Used if you want to have pleasant experience when dealing with obligations outside of hir or mir typeck.

Traits

TraitEngineExt