See http://open-std.org/JTC1/SC22/WG21/docs/papers/2014/n3897.html . In brief: this was proposed and discussed, but it was believed that the complexity does not match the benefit.