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<TypeOpOutput<'tcx, Self>>

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.