Change: Allowance to deduce from the type of a constant template argument.
Rationale: In combination with the ability to declare
constant template arguments with placeholder types,
allows partial specializations to decompose
from the type deduced for the constant template argument.
Effect on original feature: Valid C++ 2014 code may fail to compile
or produce different results in this revision of C++.