search

stlab / adobe-contract-checks

Contract checking facilities for C++
Boost Software License 1.0
6 stars 0 forks source link

Arity mismatch diagnostics are poor #20

Open dabrahams opened 1 month ago

dabrahams commented 1 month ago

Diagnostics for ADOBE_PRECONDITION(); or ADOBE_PRECONDITION(true, "", 3); are poor. If we could figure out how to static_assert something with a meaningful diagnostic in these cases it would be far better.

The tests should be updated to detect the improved diagnostics.