{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"impl<I:"}]}
impl<I: Interner> WipCanonicalGoalEvaluationStep<I> {
    fn current_evaluation_scope(&mut self) -> &mut WipProbe<I> {