{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"///"}]}
    /// The idea here is that each of these patterns represents something that
    ///
    /// the region solver would eventually report as an error, so we can detect