pub trait TypeOp<'tcx>: Sized + Debug {
    type Output;
    type ErrorInfo;

    fn fully_perform(
        infcx: &InferCtxt<'_, 'tcx>
    ) -> Fallible<TypeOpOutput<'tcx, Self>>; }
Expand description

“Type ops” are used in NLL to perform some particular action and extract out the resulting region constraints (or an error if it cannot be completed).

Required Associated Types

Required Methods

Processes the operation and all resulting obligations, returning the final result along with any region constraints (they will be given over to the NLL region solver).

Implementations on Foreign Types