Module obligation_ctxt 

Structs

ObligationCtxt

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