{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"//"}]}
            // succeed or hard error is backwards compatible. If we incorrectly treat a cycle
            // Having unknown cycles is always the safer option, as changing that to either
            // as inductive even though it should not be, it may be unsound during coherence and