{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"format!(\"attempted"}]}
                    format!("attempted to instantiate uninhabited type `{ty}`")
                    // Use this error even for the other intrinsics as it is more precise.
                } else if requirement == ValidityRequirement::Zero {