{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"}));"}]}
                        }));
                            _ => arg,
                    let rcvr_ty = Ty::new_adt(tcx, *def, new_args);