Implementation of N3760 which is planned to be voted into C++14's draft

tomorrow is complete.

There is a missing warning due to a serious issue with template
instantiation in Clang (and potentially in the core language).

llvm-svn: 191577