In TF-M a useful feature would be to have a way to trigger compile time assert:

• https://stackoverflow.com/questions/807244/c-compiler-asserts-how-to-implement

• http://www.pixelbeat.org/programming/gcc/static_assert.html

Demand was raised here:
https://review.trustedfirmware.org/#/c/trusted-firmware-m/+/701/3/lib/t_cose/src/t_cose_psa_crypto_hash.c