| Last change
 on this file since 4ac0949 was             82a5ea2, checked in by Andrew Beach <ajbeach@…>, 14 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 | 
      
      
| Line |  | 
|---|
| 1 | // Check for the use of var-args assertions. | 
|---|
| 2 |  | 
|---|
| 3 | forall(T | { T bad_format(const char * format, ...); }) | 
|---|
| 4 | trait example { | 
|---|
| 5 | void val_format(T, const char * format, ...); | 
|---|
| 6 | void ref_format(T &, const char * format, ...); | 
|---|
| 7 | }; | 
|---|
| 8 |  | 
|---|
| 9 | forall(T &, Us | { Us vaTuple(...); }) | 
|---|
| 10 | Us example(T &); | 
|---|
| 11 |  | 
|---|
| 12 | // Noop Main; | 
|---|
| 13 | int main(int argc, char * argv[]) { | 
|---|
| 14 | return 0; | 
|---|
| 15 | } | 
|---|
       
      
  Note:
 See   
TracBrowser
 for help on using the repository browser.