Trait CallImpl

pub trait CallImpl<F, Args> {
    type Result;
}

A hack to work around a long-standing bug in the type system, where associated types aren’t considered appropriately distinct

Required Associated Types

type Result

Implementors

impl<F, Args> CallImpl<F, Args> for Syntax

where F: SynCall<Args>,

type Result = <F as SynCall<Args>>::Result

impl<F, Args: EvalList> CallImpl<F, Args> for Func

where F: FunCall<<Args as EvalList>::Result>,

type Result = <F as FunCall<<Args as EvalList>::Result>>::Result