{"ast_node_type":"other","tokens":[{"end":92,"kind":"keyword","start":0,"text":"capture.ty.clone().substitute(Interner,"}]}
                                capture.ty.clone().substitute(Interner, &placeholder_subst);
                            let tmp_ty =
                            // FIXME: Handle more than one span.