source: tests/var-assert.cfa @ b6f2e7ab

Last change on this file since b6f2e7ab was 82a5ea2, checked in by Andrew Beach <ajbeach@…>, 2 months ago

Added checks for (and a test to check the checks) assertions we will not be able to adapt. Using an adapted version of Mike's error message.

  • Property mode set to 100644
File size: 338 bytes
RevLine 
[82a5ea2]1// Check for the use of var-args assertions.
2
3forall(T | { T bad_format(const char * format, ...); })
4trait example {
5        void val_format(T, const char * format, ...);
6        void ref_format(T &, const char * format, ...);
7};
8
9forall(T &, Us | { Us vaTuple(...); })
10Us example(T &);
11
12// Noop Main;
13int main(int argc, char * argv[]) {
14        return 0;
15}
Note: See TracBrowser for help on using the repository browser.