From 5e8da717fe1321fe1bcbb8979da8375faedbd90c Mon Sep 17 00:00:00 2001 From: Arthur Cohen Date: Wed, 27 Mar 2024 17:20:15 +0100 Subject: [PATCH] nr2.0: default-visitor: Conditionally visit type in self parameters. This could trigger an assertions as `get_type` on `SelfParam` asserts that the self param does have a given type, which is not always the case. gcc/rust/ChangeLog: * resolve/rust-default-resolver.cc (DefaultResolver::visit): Do not visit self's type if it does not have one. --- gcc/rust/resolve/rust-default-resolver.cc | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/gcc/rust/resolve/rust-default-resolver.cc b/gcc/rust/resolve/rust-default-resolver.cc index 1a9d377aa1ea..5183f89be11e 100644 --- a/gcc/rust/resolve/rust-default-resolver.cc +++ b/gcc/rust/resolve/rust-default-resolver.cc @@ -68,7 +68,10 @@ DefaultResolver::visit (AST::Function &function) else if (p->is_self ()) { auto ¶m = static_cast (*p); - param.get_type ().accept_vis (*this); + + if (param.has_type ()) + param.get_type ().accept_vis (*this); + param.get_lifetime ().accept_vis (*this); } else -- 2.47.2