Idea

A concept of a programmer's check, where using the turing machines features of contracts and templates, one would implement a statement that would enforce such conditions and not compile if not met.

Example

prog_assrt(is_valid_hdr, fmt("programmer_bug: hdr is {}, not {}", ...));