{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"}"}]}
                } else if requirement == ValidityRequirement::Zero {
                    format!("attempted to instantiate uninhabited type `{ty}`")
                    format!("attempted to zero-initialize type `{ty}`, which is invalid")