{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"//"}]}
                    // In addition to this potentially surprising difference between coercion and
                    //
                    // non-coercion casts, casting away the principal with a MIR ptr-to-ptr cast