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