https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124357
--- Comment #3 from Artyom Kolpakov <ddvamp007 at gmail dot com> --- (In reply to Andrew Pinski from comment #2) > clang and EDG rejects both examples. > But MSVC follows GCC here and accepts the first and rejects the second. > > so it is 2 vs 2. Maybe there is a defect report here. Isn't there a non-deduced context here? https://eel.is/c++draft/temp#deduct.call-6 https://eel.is/c++draft/temp#deduct.type-4.sentence-4 It looks like when T is in front, it is deduced separately and "cached" as if explicitly specified, or something like that.
