Function infer_impl_by_self

source

pub fn infer_impl_by_self(
    ctx: &mut ComputationContext<'_>,
    trait_function_id: TraitFunctionId,
    self_ty: TypeId,
    stable_ptr: SyntaxStablePtrId,
    generic_args_syntax: Option<Vec<GenericArg>>,
) -> Maybe<(FunctionId, usize)>

Expand description

Returns an impl of a given trait function with a given self_ty, as well as the number of snapshots needed to be added to it.

Function infer_impl_by_selfCopy item path

Function infer_impl_by_self