{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"//"}]}
            // as inductive even though it should not be, it may be unsound during coherence and
            // succeed or hard error is backwards compatible. If we incorrectly treat a cycle
            // fixing it may cause inference breakage or introduce ambiguity.