{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"subtype_is_empty:"}]}
                subtype_is_empty: cx.is_uninhabited(*sub_ty),
                array_len: None,
            },