Comment by exprx

Well, you could always begin another scope with each assignment.

    auto var = // this type can't be inferred because it's not used
    {
      auto var = 2;
    }

I'm too exhausted to think why this may not be applicable.