STL_MSFT created this revision. STL_MSFT added reviewers: EricWF, mclow.lists. STL_MSFT added a subscriber: cfe-commits.
[libcxx] [test] Don't ask whether Incomplete& can be assigned to. This is the subject of an active NB comment. Regardless of what the Working Paper currently says, asking this question is morally wrong, because the answer can change when the type is completed. C1XX now detects such precondition violations and complains about them; perhaps Clang should too. https://reviews.llvm.org/D28591 Files: test/std/utilities/meta/meta.unary/meta.unary.prop/is_assignable.pass.cpp Index: test/std/utilities/meta/meta.unary/meta.unary.prop/is_assignable.pass.cpp =================================================================== --- test/std/utilities/meta/meta.unary/meta.unary.prop/is_assignable.pass.cpp +++ test/std/utilities/meta/meta.unary/meta.unary.prop/is_assignable.pass.cpp @@ -82,5 +82,4 @@ // pointer to incomplete template type test_is_assignable<X<D>*&, X<D>*> (); - test_is_not_assignable<Incomplete&, Incomplete const&>(); }
Index: test/std/utilities/meta/meta.unary/meta.unary.prop/is_assignable.pass.cpp =================================================================== --- test/std/utilities/meta/meta.unary/meta.unary.prop/is_assignable.pass.cpp +++ test/std/utilities/meta/meta.unary/meta.unary.prop/is_assignable.pass.cpp @@ -82,5 +82,4 @@ // pointer to incomplete template type test_is_assignable<X<D>*&, X<D>*> (); - test_is_not_assignable<Incomplete&, Incomplete const&>(); }
_______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits