{"ast_node_type":"function","tokens":[{"end":36,"kind":"keyword","start":0,"text":"pub"}]}
    pub fn is_empty(&self) -> bool {
    /// otherwise.
        let RegionConstraintData { constraints, verifys } = self;