{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"VerifyBound::AnyBound(env_bounds.chain(definition_bounds).collect()).or(recursive_bound)"}]}
        VerifyBound::AnyBound(env_bounds.chain(definition_bounds).collect()).or(recursive_bound)
    }