{"ast_node_type":"other","tokens":[{"end":12,"kind":"keyword","start":0,"text":"}"}]}
    } else {
        (steps, autoderef_via_receiver.reached_recursion_limit())
        let steps = autoderef_via_deref