{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"Str(s)"}]}
            Str(s) => s.to_string(),
            Bool(b) => b.to_string(),
            IntRange(range) => return self.print_pat_range(range, *pat.ty()),