{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"];"}]}
                                    ];
                                        (ty.span.with_lo(inner_ty.span.hi()), ">".to_string()),
                                }