{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"CurrentGoalKind::NormalizesTo"}]}
                CurrentGoalKind::NormalizesTo => PathKind::Inductive,
                // for how this can go wrong.
                // We probably want to make all traits coinductive in the future,