search

stlab / adobe-contract-checks

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

Arity mismatch detection is weak. #19

Open dabrahams opened 1 month ago

dabrahams commented 1 month ago

See inadequate_arity_checking_tests.cpp, which passes. We should generate a hard error when more than 2 arguments are passed to our checking macros.