Set require / ensure at caller site, correctly fix macro ensure

Open lerno opened this issue 4 years ago • 1 comments

It is possible to set require / ensure at the caller site. For the parameters, this can add a level of static checking.

Jul 01 '21 20:07 lerno

This also includes detecting ensure for macros, since that one must be placed at the caller site for runtime checks. See #945 for moving that issue here.

Aug 23 '23 11:08 lerno