{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"steps.push((ty,"}]}
                    steps.push((ty, autoderef.current_obligations()));
                while let Some((ty, _)) = autoderef.next() {
                }