{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"VerifyBound::IsEmpty"}]}
            VerifyBound::IsEmpty => false,
            VerifyBound::IfEq(..) => false,
            VerifyBound::OutlivedBy(_) => false,