{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"//"}]}
                    // is currently considered undefined behavior:
                    // non-coercion casts, casting away the principal with a MIR ptr-to-ptr cast
                    //