{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"res,"}]}
                                    res,
                                ResolvePathResult::new(
                                    ReachedFixedPoint::Yes,