{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"//"}]}
                // So this is a pointer then, and casting to an int failed.
            Err(_) => {
                // Can only happen during CTFE.