Struct CustomTypeOp

pub struct CustomTypeOp<F> {
    closure: F,
    description: &'static str,
}

Fields

closure: F

description: &'static str

Implementations

impl<F> CustomTypeOp<F>

pub fn new<'tcx, R>(closure: F, description: &'static str) -> Self

where F: FnOnce(&ObligationCtxt<'_, 'tcx>) -> Result<R, NoSolution>,

Trait Implementations

impl<F> Debug for CustomTypeOp<F>

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

Formats the value using the given formatter.

impl<'tcx, F, R> TypeOp<'tcx> for CustomTypeOp<F>

where F: FnOnce(&ObligationCtxt<'_, 'tcx>) -> Result<R, NoSolution>, R: Debug + TypeFoldable<TyCtxt<'tcx>>,

type ErrorInfo = !

We can’t do any custom error reporting for CustomTypeOp, so we can use ! to enforce that the implementation never provides it.

fn fully_perform( self, infcx: &InferCtxt<'tcx>, span: Span, ) -> Result<TypeOpOutput<'tcx, Self>, ErrorGuaranteed>

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

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.