In C++, failure to meet the requirements does not always mean that you fail if you don't meet the requirements - The Old New Thing
devblogs.microsoft.com
Combining SFINAE/requires, standard layout, and overload resolution.