{"ast_node_type":"function","tokens":[{"end":64,"kind":"keyword","start":0,"text":"fn"}]}
    fn current_evaluation_scope(&mut self) -> &mut WipProbe<I> {
impl<I: Interner> WipCanonicalGoalEvaluationStep<I> {
        let mut current = &mut self.evaluation;