Module rustc_trait_selection::traits::codegen [−][src]
Functions
Attempts to resolve an obligation to an ImplSource. The result is
a shallow ImplSource resolution, meaning that we do not
(necessarily) resolve all nested obligations on the impl. Note
that type check should guarantee to us that all nested
obligations could be resolved if we wanted to.
Finishes processes any obligations that remain in the
fulfillment context, and then returns the result with all type
variables removed and regions erased. Because this is intended
for use after type-check has completed, if any errors occur,
it will panic. It is used during normalization and other cases
where processing the obligations in fulfill_cx may cause
type inference variables that appear in result to be
unified, and hence we need to process those obligations to get
the complete picture of the type.