{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":")"}]}
    ) -> ty::Binder<'tcx, &'tcx ty::List<Ty<'tcx>>> {
        defining_ty: DefiningTy<'tcx>,
        let tcx = self.infcx.tcx;