[PATCH] D49647: [libcxx] Library support for contracts (C++2a)

[Hamza Sood via Phabricator via cfe-commits]

hamzasood updated this revision to Diff 156808.
hamzasood added a comment.

- Added a missing visibility attribute.
- Added a simple test that type-checks the expected public interface.

Testing whether it's actually hooked up correctly is quite problematic; it isn't meant to be instantiable. What's the best way to proceed with this?


https://reviews.llvm.org/D49647

Files:
  include/contract
  include/module.modulemap
  test/libcxx/double_include.sh.cpp
  test/libcxx/language.support/support.contract/version.pass.cpp
  test/std/language.support/support.contract/contract_violation.pass.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D49647.156808.patch
Type: text/x-patch
Size: 5582 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20180723/64cbe8c4/attachment-0001.bin>