{"ast_node_type":"import","tokens":[{"end":77,"kind":"keyword","start":0,"text":"//"}]}
            // fixing it may cause inference breakage or introduce ambiguity.
            // as inductive even though it should not be, it may be unsound during coherence and
            GoalSource::Misc => PathKind::Unknown,