{"ast_node_type":"other","tokens":[{"end":15,"kind":"keyword","start":0,"text":")"}]}
    ) -> bool {
        verify_bound: &VerifyBound<'tcx>,
        debug!("eval_verify_bound(lower_bound={:?}, verify_bound={:?})", lower_bound, verify_bound);