mclow.lists added a comment. > Should the non-parallel implementation of reduce static_assert or SFINAE away > when these requirements are not met?
That may be desirable, but that's not what the standard says. There's nothing there about "shall not participate in overload resolution". //Requires:// in the standard is a requirement on the caller. Failure to satisfy those requirements is UB - and it can compile, not compile, explode at runtime, give the right answer, whatever. (Look at `copy`, say) https://reviews.llvm.org/D33997 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
