Module rustc_data_structures::obligation_forest

The ObligationForest is a utility data structure used in trait matching to track the set of outstanding obligations (those not yet resolved to success or error). It also tracks the "backtrace" of each pending obligation (why we are trying to figure this out in the first place). See README.md for a general overview of how to use this class.

Structs

Error
ObligationForest
Outcome

Enums

DoCompleted	Should process_obligations compute the Outcome::completed field of its result?
ProcessResult	The result type used by process_obligation.

Traits

ForestObligation
ObligationProcessor