{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"//"}]}
            // (actually that happens in the previous `flat_map` call),
            // take that predicate `T: Copy`, instantiated with `String: Copy`
            // and then try to prove it (in this case, we'll fail).