{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"}"}]}
                }
                    ted::insert(Position::after(self.colon_token().unwrap()), new_ty.syntax());
            }