From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1643) id F0CB33851898; Fri, 18 Nov 2022 23:34:04 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org F0CB33851898 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1668814444; bh=2mNa+L/DqOueB9ih5oIhXkEVDHSC14WcB2Kcpx+tgHE=; h=From:To:Subject:Date:From; b=MloVRWwqgMAQVOZWz+b2eov/67z63GuPyvHk25X6dkWNUcv/x9Ye9AwC0Hm+ubuEB YNCq2ukao7f9a5mW91NwBC2z+zEkXHyt3ulKz88aTR8QHR+mlTfG7XdzskBmorsmc0 G+iQvXvw73oZwlNoP6hipM5dwozEjnkyvWczTRgU= Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: Thomas Schwinge To: gcc-cvs@gcc.gnu.org Subject: [gcc/devel/rust/master] ast: Dump trait object type X-Act-Checkin: gcc X-Git-Author: Jakub Dupak X-Git-Refname: refs/heads/devel/rust/master X-Git-Oldrev: 9147e08003b935e312437ec61e83120c8eceb74b X-Git-Newrev: 0e026b6c33d20a7d1b8714df73e9157ede98af70 Message-Id: <20221118233404.F0CB33851898@sourceware.org> Date: Fri, 18 Nov 2022 23:34:04 +0000 (GMT) List-Id: https://gcc.gnu.org/g:0e026b6c33d20a7d1b8714df73e9157ede98af70 commit 0e026b6c33d20a7d1b8714df73e9157ede98af70 Author: Jakub Dupak Date: Tue Nov 15 15:49:05 2022 +0100 ast: Dump trait object type Signed-off-by: Jakub Dupak Diff: --- gcc/rust/ast/rust-ast-dump.cc | 17 +++++++++++++---- 1 file changed, 13 insertions(+), 4 deletions(-) diff --git a/gcc/rust/ast/rust-ast-dump.cc b/gcc/rust/ast/rust-ast-dump.cc index 1d593d4b749..0ae57fdb744 100644 --- a/gcc/rust/ast/rust-ast-dump.cc +++ b/gcc/rust/ast/rust-ast-dump.cc @@ -1618,12 +1618,21 @@ Dump::visit (ImplTraitType &type) // TypeParamBound ( + TypeParamBound )* +? stream << "impl "; - visit_items_joined_by_separator(type.get_type_param_bounds (), " + "); + visit_items_joined_by_separator (type.get_type_param_bounds (), " + "); } void -Dump::visit (TraitObjectType &) -{} +Dump::visit (TraitObjectType &type) +{ + // Syntax: + // dyn? TypeParamBounds + // TypeParamBounds : + // TypeParamBound ( + TypeParamBound )* +? + + if (type.is_dyn ()) + stream << "dyn "; + visit_items_joined_by_separator (type.get_type_param_bounds (), " + "); +} void Dump::visit (ParenthesisedType &) @@ -1636,7 +1645,7 @@ Dump::visit (ImplTraitTypeOneBound &type) // impl TraitBound stream << "impl "; - visit (type.get_trait_bound()); + visit (type.get_trait_bound ()); } void