| Last change
 on this file since bb85f76 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 | 
      
      
| Rev | Line |  | 
|---|
| [82a5ea2] | 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.