Module rustc_infer::traits::engine
source · Enums§
- 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).