pub fn relate_args_with_variances<I: Interner, R: TypeRelation<I>>(
relation: &mut R,
variances: I::VariancesOf,
a_args: I::GenericArgs,
b_args: I::GenericArgs,
) -> RelateResult<I, I::GenericArgs>pub fn relate_args_with_variances<I: Interner, R: TypeRelation<I>>(
relation: &mut R,
variances: I::VariancesOf,
a_args: I::GenericArgs,
b_args: I::GenericArgs,
) -> RelateResult<I, I::GenericArgs>