{"ast_node_type":"impl","tokens":[{"end":81,"kind":"keyword","start":0,"text":"//"}]}
                // While normalizing via an impl does step into a where-clause of
                CurrentGoalKind::CoinductiveTrait => PathKind::Coinductive,
                // an impl, accessing the associated item immediately steps out of