Function rustc_middle::ty::relate::relate_args_invariantly

source ·

pub fn relate_args_invariantly<'tcx, R: TypeRelation<'tcx>>(
    relation: &mut R,
    a_arg: GenericArgsRef<'tcx>,
    b_arg: GenericArgsRef<'tcx>
) -> RelateResult<'tcx, GenericArgsRef<'tcx>>