{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"//"}]}
        // skip past the bound vars.
        // We do not expect any bound regions in our predicate, so
        let Some(predicate) = predicate.no_bound_vars() else {