Module rustc_trait_selection::traits::engine

Structs

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