Why can’t C++ overload resolution deduced nested template types?
tl;dr; I know that C++ can’t do this and I know how to work around it via ADL and am not asking about that. What I don’t know is why the language design chose to (or was forced to) disallow this.