there's a paper targeting WG14 regarding static assertions in expressions.

The author would appreciate WG21 feedback. I encourage you to take a moment to read the paper and share your thoughts. 

Thank you,

Nina