Module engine

Enums

ScrubbedTraitError

A trait error with most of its information removed. This is the error returned by an ObligationCtxt by default, and suitable if you just want to see if a predicate holds, and don’t particularly care about the error itself (except for if it’s an ambiguity or true error).

Traits

FromSolverError

TraitEngine