{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"ReachedFixedPoint::Yes,"}]}
                            ReachedFixedPoint::Yes,
                            resolution.resolved_def,
                            resolution.segment_index.map(|s| s + i),