syntax_data: {"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"while"}]}
source_snippet:         while reached_depth < p.depth {
context_before:         let mut p = self;
context_after:             debug!(?p.fresh_trait_pred, "update_reached_depth: marking as cycle participant");