{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"F16Range(..)"}]}
            F16Range(..) | F32Range(..) | F64Range(..) | F128Range(..) | Opaque(..) | Or => {
            ),
                bug!("can't convert to pattern: {:?}", pat)