Struct rustc_trait_selection::traits::query::type_op::custom::CustomTypeOp

pub struct CustomTypeOp<F, G> {
    closure: F,
    description: G,
}

Fields

closure: F

description: G

Implementations

impl<F, G> CustomTypeOp<F, G>

pub fn new<'tcx, R>(closure: F, description: G) -> Self where
    F: FnOnce(&InferCtxt<'_, 'tcx>) -> Fallible<InferOk<'tcx, R>>,
    G: Fn() -> String, 

Trait Implementations

impl<F, G> Debug for CustomTypeOp<F, G> where
    G: Fn() -> String, 

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'tcx, F, R, G> TypeOp<'tcx> for CustomTypeOp<F, G> where
    F: for<'a, 'cx> FnOnce(&'a InferCtxt<'cx, 'tcx>) -> Fallible<InferOk<'tcx, R>>,
    G: Fn() -> String, 

fn fully_perform(
    self,
    infcx: &InferCtxt<'_, 'tcx>
) -> Fallible<(Self::Output, Option<Rc<QueryRegionConstraints<'tcx>>>)>

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).

type Output = R