http://llvm.org/bugs/show_bug.cgi?id=20174
Richard Smith <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|REOPENED |RESOLVED Resolution|--- |MOVED --- Comment #5 from Richard Smith <[email protected]> --- (In reply to comment #4) > > 7 Requires: sizeof...(Types) == sizeof...(UTypes). > > is_constructible<Ti, Ui&&>::value is true for all i. Since this was violated, 17.6.4.11/1 applies: "Violation of the preconditions specified in a function’s Requires: paragraph results in undefined behavior unless the function’s Throws: paragraph specifies throwing an exception when the precondition is violated." ... so we're permitted (and, as far as I can tell, required) to accept this tuple construction, and libc++'s extension is a conforming one. If you think that this tuple constructor should not participate in overload resolution if it has an arity mismatch, please file a defect report against the C++ standard library. Mail [email protected] for that. (Resolving 'MOVED'.) -- You are receiving this mail because: You are on the CC list for the bug.
_______________________________________________ LLVMbugs mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/llvmbugs
