Function relate_args_invariantly

source

pub fn relate_args_invariantly<I: Interner, R: TypeRelation<I>>(
    relation: &mut R,
    a_arg: I::GenericArgs,
    b_arg: I::GenericArgs,
) -> RelateResult<I, I::GenericArgs>

Function relate_args_invariantlyCopy item path

Function relate_args_invariantly