{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"//!"}]}
//! where in the value it got violated.
//! Check the validity invariant of a given value, and tell the user
//! In const context, this goes even further and tries to approximate const safety.