pub fn relate_type_and_mut<'tcx, R: TypeRelation<'tcx>>(
    relation: &mut R,
    a: TypeAndMut<'tcx>,
    b: TypeAndMut<'tcx>,
    base_ty: Ty<'tcx>
) -> RelateResult<'tcx, TypeAndMut<'tcx>>