Artifact 7390e79067d5012ccebcf228bb33a2f44f396bda5e395cbe231828569b8567b1:
- File
bs/builtins/types/func/invoke.cpp
— part of check-in
[2e993951e6]
at
2019-09-21 21:43:31
on branch trunk
—
- Implemented the 'requires' and 'ensures' verification statements.
- Verification statements are lazily parsed even for non template functions, so that they can see functions defined out of order, just like in function bodies.
A hex dump of this file is not available. Please download the raw binary file and generate a hex dump yourself.