{"ast_node_type":"other","tokens":[{"end":27,"kind":"keyword","start":0,"text":"});"}]}
                        });
                            if let ty::ReVar(_) = r.kind() { tcx.lifetimes.re_erased } else { r }
                        self.prove_trait_ref(