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