aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJakub Dupak <dev@jakubdupak.com>2022-11-15 18:39:41 +0100
committerJakub Dupak <dev@jakubdupak.com>2022-11-16 17:59:37 +0100
commita3dfe962eb96380d0382dfb5fa243e36591ff6fc (patch)
treecf1938cade94b3202f491a03f9f465c7b9f574de
parent5c943bf43888f9dd1a5934f678de8b8435f1199a (diff)
downloadgcc-a3dfe962eb96380d0382dfb5fa243e36591ff6fc.zip
gcc-a3dfe962eb96380d0382dfb5fa243e36591ff6fc.tar.gz
gcc-a3dfe962eb96380d0382dfb5fa243e36591ff6fc.tar.bz2
ast: Dump type param type
Signed-off-by: Jakub Dupak <dev@jakubdupak.com>
-rw-r--r--gcc/rust/ast/rust-ast-dump.cc14
1 files changed, 13 insertions, 1 deletions
diff --git a/gcc/rust/ast/rust-ast-dump.cc b/gcc/rust/ast/rust-ast-dump.cc
index 7d62571..216f0a4 100644
--- a/gcc/rust/ast/rust-ast-dump.cc
+++ b/gcc/rust/ast/rust-ast-dump.cc
@@ -892,7 +892,19 @@ Dump::visit (AsyncBlockExpr &)
void
Dump::visit (TypeParam &param)
{
+ // Syntax:
+ // IDENTIFIER( : TypeParamBounds? )? ( = Type )?
+ // TypeParamBounds :
+ // TypeParamBound ( + TypeParamBound )* +?
+
+ // FIXME this outputs things like "Ambiguous: String" - this comes from
+ // Token::str
stream << param.get_type_representation ();
+ if (param.has_type_param_bounds ())
+ {
+ stream << ": ";
+ visit_items_joined_by_separator (param.get_type_param_bounds (), " + ");
+ }
if (param.has_type ())
{
stream << " = ";
@@ -1663,7 +1675,7 @@ Dump::visit (TraitObjectTypeOneBound &type)
if (type.is_dyn ())
stream << "dyn ";
- visit(type.get_trait_bound());
+ visit (type.get_trait_bound ());
}
void