{"ast_node_type":"other","tokens":[{"end":21,"kind":"keyword","start":0,"text":"]"}]}
                    ]
                        (self_ty.span.shrink_to_hi(), ")".to_string()),
                } else {