{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"//"}]}
        // `predicate` is `U: 'b` in the example above.
    for (&predicate, &span) in predicates.as_ref().skip_binder() {
        // So apply the instantiation to get `T: 'a`.