{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"VerifyBound::IsEmpty"}]}
            VerifyBound::IsEmpty => false,
            VerifyBound::OutlivedBy(re) => re.is_static(),
            VerifyBound::AnyBound(bs) => bs.iter().any(|b| b.must_hold()),