fn effect_unification_error<'tcx>(
    _tcx: TyCtxt<'tcx>,
    _a_is_expected: bool,
    (_a, _b): (EffectVarValue<'tcx>, EffectVarValue<'tcx>)
) -> TypeError<'tcx>