{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"//"}]}
                // Need to also adjust the type in the ABI. Strangely, the layout there is actually
                trace!("Patched receiver operand to {:#?}", args[0]);
                // already fine! Just the type is bogus. This is due to what `force_thin_self_ptr`