{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"///"}]}
    /// in such cases, we can not say whether or not the predicate
    /// If this goes over a certain threshold, we abort compilation --
    /// holds for certain. Stupid halting problem; such a drag.