{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"\"`{}`"}]}
            "`{}` intrinsic: expected basic integer or raw pointer type, found `{:?}`",
        format!(
            intrinsic, ty