[committed 032/103] gccrs: ast: dump TypeAlias

[arthur . cohen]

From: Jakub Dupak <d...@jakubdupak.com>

gcc/rust/ChangeLog:

        * ast/rust-ast-dump.cc (Dump::visit): Add code for dumping type aliases.

Signed-off-by: Jakub Dupak <d...@jakubdupak.com>
---
 gcc/rust/ast/rust-ast-dump.cc | 20 ++++++++++++++++++--
 1 file changed, 18 insertions(+), 2 deletions(-)

diff --git a/gcc/rust/ast/rust-ast-dump.cc b/gcc/rust/ast/rust-ast-dump.cc
index 8caad987538..fdcd97561bb 100644
--- a/gcc/rust/ast/rust-ast-dump.cc
+++ b/gcc/rust/ast/rust-ast-dump.cc
@@ -836,7 +836,6 @@ Dump::visit (Function &function)
 {
   emit_visibility (function.get_visibility ());
   stream << "fn " << function.get_function_name ();
-
   if (function.has_generics ())
     emit_generic_params (function.get_generic_params ());
 
@@ -872,7 +871,24 @@ Dump::visit (Function &function)
 
 void
 Dump::visit (TypeAlias &type_alias)
-{}
+{
+  // Syntax:
+  // Visibility? type IDENTIFIER GenericParams? WhereClause? = Type;
+
+  // Note: Associated types are handled by `AST::TraitItemType`.
+
+  if (type_alias.has_visibility ())
+    emit_visibility (type_alias.get_visibility ());
+  stream << "type " << type_alias.get_new_type_name ();
+  if (type_alias.has_generics ())
+    emit_generic_params (type_alias.get_generic_params ());
+  if (type_alias.has_where_clause ())
+    {
+    } // FIXME: WhereClause
+  stream << " = ";
+  type_alias.get_type_aliased ()->accept_vis (*this);
+  stream << ";\n";
+}
 
 void
 Dump::visit (StructStruct &struct_item)
-- 
2.39.1