{"ast_node_type":"other","tokens":[{"end":19,"kind":"keyword","start":0,"text":"///"}]}
    ///   patterns.
    ///   exhaustiveness checking will detect if you use the same string twice in different
    /// * integer, bool, char or float (represented as a valtree), which will be handled by