{"id":2223298,"url":"http://patchwork.ozlabs.org/api/1.2/patches/2223298/?format=json","web_url":"http://patchwork.ozlabs.org/project/gcc/patch/20260414231905.191063-30-arthur.cohen@embecosm.com/","project":{"id":17,"url":"http://patchwork.ozlabs.org/api/1.2/projects/17/?format=json","name":"GNU Compiler Collection","link_name":"gcc","list_id":"gcc-patches.gcc.gnu.org","list_email":"gcc-patches@gcc.gnu.org","web_url":null,"scm_url":null,"webscm_url":null,"list_archive_url":"","list_archive_url_format":"","commit_url_format":""},"msgid":"<20260414231905.191063-30-arthur.cohen@embecosm.com>","list_archive_url":null,"date":"2026-04-14T23:18:51","name":"[COMMITTED,30/43] gccrs: Move attribute checker to it's own file","commit_ref":null,"pull_url":null,"state":"new","archived":false,"hash":"e7b562b9b8b93d25e5be563b5daaac3f132a99f4","submitter":{"id":83476,"url":"http://patchwork.ozlabs.org/api/1.2/people/83476/?format=json","name":"Arthur Cohen","email":"arthur.cohen@embecosm.com"},"delegate":null,"mbox":"http://patchwork.ozlabs.org/project/gcc/patch/20260414231905.191063-30-arthur.cohen@embecosm.com/mbox/","series":[{"id":499900,"url":"http://patchwork.ozlabs.org/api/1.2/series/499900/?format=json","web_url":"http://patchwork.ozlabs.org/project/gcc/list/?series=499900","date":"2026-04-14T23:18:24","name":"[COMMITTED,01/43] gccrs: testsuite:Add a testcase for setup_associated_types","version":1,"mbox":"http://patchwork.ozlabs.org/series/499900/mbox/"}],"comments":"http://patchwork.ozlabs.org/api/patches/2223298/comments/","check":"pending","checks":"http://patchwork.ozlabs.org/api/patches/2223298/checks/","tags":{},"related":[],"headers":{"Return-Path":"<gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org>","X-Original-To":["incoming@patchwork.ozlabs.org","gcc-patches@gcc.gnu.org"],"Delivered-To":["patchwork-incoming@legolas.ozlabs.org","gcc-patches@gcc.gnu.org"],"Authentication-Results":["legolas.ozlabs.org;\n\tdkim=pass (2048-bit key;\n unprotected) header.d=embecosm.com header.i=@embecosm.com header.a=rsa-sha256\n header.s=google header.b=NwVGPdaD;\n\tdkim-atps=neutral","legolas.ozlabs.org;\n spf=pass (sender SPF authorized) smtp.mailfrom=gcc.gnu.org\n (client-ip=2620:52:6:3111::32; helo=vm01.sourceware.org;\n envelope-from=gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org;\n receiver=patchwork.ozlabs.org)","sourceware.org;\n\tdkim=pass (2048-bit key,\n unprotected) header.d=embecosm.com header.i=@embecosm.com header.a=rsa-sha256\n header.s=google header.b=NwVGPdaD","sourceware.org;\n dmarc=none (p=none dis=none) header.from=embecosm.com","sourceware.org; spf=pass smtp.mailfrom=embecosm.com","server2.sourceware.org;\n arc=none smtp.remote-ip=209.85.128.65"],"Received":["from vm01.sourceware.org (vm01.sourceware.org\n [IPv6:2620:52:6:3111::32])\n\t(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)\n\t key-exchange x25519 server-signature ECDSA (secp384r1) server-digest SHA384)\n\t(No client certificate requested)\n\tby legolas.ozlabs.org (Postfix) with ESMTPS id 4fwL7k0nnWz1yCv\n\tfor <incoming@patchwork.ozlabs.org>; Wed, 15 Apr 2026 09:28:50 +1000 (AEST)","from vm01.sourceware.org (localhost [127.0.0.1])\n\tby sourceware.org (Postfix) with ESMTP id 1EFF34BA2E0A\n\tfor <incoming@patchwork.ozlabs.org>; Tue, 14 Apr 2026 23:28:48 +0000 (GMT)","from mail-wm1-f65.google.com (mail-wm1-f65.google.com\n [209.85.128.65])\n by sourceware.org (Postfix) with ESMTPS id 93ED74BA2E04\n for <gcc-patches@gcc.gnu.org>; Tue, 14 Apr 2026 23:14:56 +0000 (GMT)","by mail-wm1-f65.google.com with SMTP id\n 5b1f17b1804b1-4887f49ec5aso74608395e9.1\n for <gcc-patches@gcc.gnu.org>; Tue, 14 Apr 2026 16:14:56 -0700 (PDT)","from platypus.localdomain (176-147-231-59.abo.bbox.fr.\n [176.147.231.59]) by smtp.gmail.com with ESMTPSA id\n 5b1f17b1804b1-488f1dd8806sm3325945e9.3.2026.04.14.16.14.53\n (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);\n Tue, 14 Apr 2026 16:14:53 -0700 (PDT)"],"DKIM-Filter":["OpenDKIM Filter v2.11.0 sourceware.org 1EFF34BA2E0A","OpenDKIM Filter v2.11.0 sourceware.org 93ED74BA2E04"],"DMARC-Filter":"OpenDMARC Filter v1.4.2 sourceware.org 93ED74BA2E04","ARC-Filter":"OpenARC Filter v1.0.0 sourceware.org 93ED74BA2E04","ARC-Seal":"i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1776208496; cv=none;\n b=qYOCtbjdluw0qB9m10KLxoIlzmOflCxoswUWiERsLJshg/DNovUy0MZnY/B7HlN97FaM5oKjS9JRESHcOOVsJUcmT2+cqA5b//JWf9E5x+RoX8/NDdqYoRusUDqHA7lu2tRnQ3YuvnnXZK6y+v6usIb+x+T8ppCmoSGyXLjMHV4=","ARC-Message-Signature":"i=1; a=rsa-sha256; d=sourceware.org; s=key;\n t=1776208496; c=relaxed/simple;\n bh=r3m6hYteAZKFBm3zNOLQlzJXaFWfmy/oSpCBJ9Y5sqA=;\n h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version;\n b=Ia3eT45wXLvih1QEQqjp28mMFdRnFpx4kd0sBJLa8xxy4GQUdzgP3t8MygkHyNmfRkvLkj4pu+VTlxrQL3DAIQ0wM0ULCTDUC9uuX7gE6W64gDrl0ArbdUkCIpv4JHaUlAXZv5xF+aCZ28tR7IvL6OeoE4sNTuh8YHMfjV7ypEk=","ARC-Authentication-Results":"i=1; server2.sourceware.org","DKIM-Signature":"v=1; a=rsa-sha256; c=relaxed/relaxed;\n d=embecosm.com; s=google; t=1776208495; x=1776813295; darn=gcc.gnu.org;\n h=content-transfer-encoding:mime-version:references:in-reply-to\n :message-id:date:subject:cc:to:from:from:to:cc:subject:date\n :message-id:reply-to;\n bh=vilKz9VU9j7RH0WEX6hssEABEsHtfoCTevP6oTHJNX8=;\n b=NwVGPdaDlJ4UEqsMsebfLjGl/fwob0dBIBeDBtYoLwGjW10nRYpL/25LFN1s/9yDfR\n 0aHccGonZagZElyqpXWakbFDiWVf77JzBF1A7U/qfZ/QoSFx1Cd/HTaR0q51sfgn/9xe\n TwfLW1IosnhVArKMGfAvQ1WRnJZya1jiAo3Hh0JgYAlt5fP1F/jG8PiQP+583YpR5z8i\n eRyP0t9OXU7rKcJeoR6fUsfVqGYe58t+rL7WYAhrvjtHGTGsTL6qmiskw9TIqTWSu04t\n d1m0wSG9LPL2U0XEOpPawW1EG6nRzqm9yFavAguCJqqAGA+cLtclJurQxO/pWjnwtz3e\n CvrQ==","X-Google-DKIM-Signature":"v=1; a=rsa-sha256; c=relaxed/relaxed;\n d=1e100.net; s=20251104; t=1776208495; x=1776813295;\n h=content-transfer-encoding:mime-version:references:in-reply-to\n :message-id:date:subject:cc:to:from:x-gm-gg:x-gm-message-state:from\n :to:cc:subject:date:message-id:reply-to;\n bh=vilKz9VU9j7RH0WEX6hssEABEsHtfoCTevP6oTHJNX8=;\n b=OLZIihVrf5FWgQyQ3CF3zrQbNxNLmGGRWOYwDD2E0rcJGi52lS2ahI58UL0QkADUfc\n HgGdlB9eAqcsIxUDqSvIKvGTjvUnZ4X/1Kdirnf5ohbMNtX0daIYpYGW0bBC6gxRjuty\n CskKrcSrpyj0wBkBSdQ0PTb+29a3lYzExSgpktLb9U3qwwtJHsD2NOFVNpalmTPbmHsi\n pb8VcNVXifKXJbTxkPPiXvG3Cc7QK+J3utw0RfnNwLYRVvMIz4HJIPNpngGwZ839zNI0\n YEQB/1jXeTfnOuqVcbVPhKHkhlLIJt60ZDA31pwxK05sSQ/THD/GoG3X+cHTp+SNqbbu\n ZbTg==","X-Gm-Message-State":"AOJu0Yx/2OIbGV/p5uXG4dUMerm6DMp/vBTJgBoPuwU4LZXOZSKB2JRD\n LRu/RacaO4WkH6fqMxyOkKCWLywV7mrBg3xfo7YL6SqybObv0cAf2zXAtiMRbiD3EFHJzXC9mOL\n W2Y4Lw21O","X-Gm-Gg":"AeBDieuzp+P3cE1ZD6RXLB1/4ee2KRn8B2RjFRaILZPhhZjX0bu6Fd3OBYDzWkuZkom\n imlTZh38SX4D6/7/uq3tubk/kgyhJKOrWKGScGYMX4pK5WbP0nNdWuK8jdvNGEOz3Bh36RQIiVw\n CB8CmLzIkI/iZCN6zKZTSYdy3LaQNGOzdv42S8KvHchaxtiKbgkJRAnLsSGmMFrmwXBDTuEfxJ2\n ozosD7jsVeEoNbuHqykFWBZQVhjN+Lp3KHNH3dUn8zD+0fhsq6t9fW5c8VVnjx35SbXkUaUKun9\n UOpoqJwylnNKcCy95DrhwxjK2DCVqXbIRaXfhRxmeDJmG6JCk0KUFIvvTwofO9xc7jQ9vwA374b\n HuOXw6HCU5gGpw4oqKj//bk0vDSKtg/veQ3RpPqqBCNRFRzY9cyfSLWFlL07c/Ck9SNbZZv3+Lf\n HKRyQuBAppF+DCedG7duDFjaY2tPC0evf1aDlNmWcxpcnZKl+R1yx9sBFZ/OBebHamfaALAuaLO\n Bf4pMuH+fr9cuBR","X-Received":"by 2002:a05:600c:4e45:b0:488:9439:881a with SMTP id\n 5b1f17b1804b1-488d67bf6f6mr286902165e9.2.1776208494955;\n Tue, 14 Apr 2026 16:14:54 -0700 (PDT)","From":"arthur.cohen@embecosm.com","To":"gcc-patches@gcc.gnu.org","Cc":"gcc-rust@gcc.gnu.org,\n Pierre-Emmanuel Patry <pierre-emmanuel.patry@embecosm.com>","Subject":"[COMMITTED 30/43] gccrs: Move attribute checker to it's own file","Date":"Wed, 15 Apr 2026 01:18:51 +0200","Message-ID":"<20260414231905.191063-30-arthur.cohen@embecosm.com>","X-Mailer":"git-send-email 2.50.1","In-Reply-To":"<20260414231905.191063-1-arthur.cohen@embecosm.com>","References":"<20260414231905.191063-1-arthur.cohen@embecosm.com>","MIME-Version":"1.0","Content-Transfer-Encoding":"8bit","X-BeenThere":"gcc-patches@gcc.gnu.org","X-Mailman-Version":"2.1.30","Precedence":"list","List-Id":"Gcc-patches mailing list <gcc-patches.gcc.gnu.org>","List-Unsubscribe":"<https://gcc.gnu.org/mailman/options/gcc-patches>,\n <mailto:gcc-patches-request@gcc.gnu.org?subject=unsubscribe>","List-Archive":"<https://gcc.gnu.org/pipermail/gcc-patches/>","List-Post":"<mailto:gcc-patches@gcc.gnu.org>","List-Help":"<mailto:gcc-patches-request@gcc.gnu.org?subject=help>","List-Subscribe":"<https://gcc.gnu.org/mailman/listinfo/gcc-patches>,\n <mailto:gcc-patches-request@gcc.gnu.org?subject=subscribe>","Errors-To":"gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org"},"content":"From: Pierre-Emmanuel Patry <pierre-emmanuel.patry@embecosm.com>\n\nBoth attribute utility and attribute checker (pre-expansion) were mixed\nwithin the same file/translation unit. Splitting them apart will allow\na shorter header to include and make both file easier to navigate.\n\ngcc/rust/ChangeLog:\n\n\t* Make-lang.in: Add a new rust-attribute-checker file.\n\t* checks/errors/rust-builtin-attribute-checker.h (check_valid_attribute_for_item):\n\tChange BuiltinAttributeChecker doc comment.\n\t* rust-session-manager.cc: Include the new rust-attribute-checker\n\theader.\n\t* util/rust-attributes.cc (AttributeChecker::AttributeChecker): Move to\n\trust-attribute-checker.cc.\n\t(AttributeChecker::go): Likewise.\n\t(is_proc_macro_type): Likewise.\n\t(check_proc_macro_non_function): Likewise.\n\t(check_proc_macro_non_root): Likewise.\n\t(AttributeChecker::visit): Likewise.\n\t* util/rust-attributes.h (class AttributeChecker): Move to\n\trust-attribute-checker.h.\n\t* checks/errors/rust-attribute-checker.cc: New file.\n\t* checks/errors/rust-attribute-checker.h: New file.\n\nSigned-off-by: Pierre-Emmanuel Patry <pierre-emmanuel.patry@embecosm.com>\n---\n gcc/rust/Make-lang.in                         |   1 +\n .../checks/errors/rust-attribute-checker.cc   | 773 ++++++++++++++++++\n .../checks/errors/rust-attribute-checker.h    | 224 +++++\n .../errors/rust-builtin-attribute-checker.h   |  12 +\n gcc/rust/rust-session-manager.cc              |   1 +\n gcc/rust/util/rust-attributes.cc              | 747 -----------------\n gcc/rust/util/rust-attributes.h               | 195 +----\n 7 files changed, 1012 insertions(+), 941 deletions(-)\n create mode 100644 gcc/rust/checks/errors/rust-attribute-checker.cc\n create mode 100644 gcc/rust/checks/errors/rust-attribute-checker.h","diff":"diff --git a/gcc/rust/Make-lang.in b/gcc/rust/Make-lang.in\nindex fc11abf1f1c..878613f7044 100644\n--- a/gcc/rust/Make-lang.in\n+++ b/gcc/rust/Make-lang.in\n@@ -126,6 +126,7 @@ GRS_OBJS = \\\n     rust/rust-hir.o \\\n     rust/rust-hir-map.o \\\n     rust/rust-attributes.o \\\n+    rust/rust-attribute-checker.o \\\n     rust/rust-builtin-attribute-checker.o \\\n     rust/rust-keyword-values.o \\\n     rust/rust-abi.o \\\ndiff --git a/gcc/rust/checks/errors/rust-attribute-checker.cc b/gcc/rust/checks/errors/rust-attribute-checker.cc\nnew file mode 100644\nindex 00000000000..4580aa25614\n--- /dev/null\n+++ b/gcc/rust/checks/errors/rust-attribute-checker.cc\n@@ -0,0 +1,773 @@\n+// Copyright (C) 2026 Free Software Foundation, Inc.\n+\n+// This file is part of GCC.\n+\n+// GCC is free software; you can redistribute it and/or modify it under\n+// the terms of the GNU General Public License as published by the Free\n+// Software Foundation; either version 3, or (at your option) any later\n+// version.\n+\n+// GCC is distributed in the hope that it will be useful, but WITHOUT ANY\n+// WARRANTY; without even the implied warranty of MERCHANTABILITY or\n+// FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License\n+// for more details.\n+\n+// You should have received a copy of the GNU General Public License\n+// along with GCC; see the file COPYING3.  If not see\n+// <http://www.gnu.org/licenses/>.\n+\n+#include \"rust-attribute-checker.h\"\n+#include \"rust-attributes.h\"\n+#include \"rust-attribute-values.h\"\n+#include \"rust-diagnostics.h\"\n+#include \"rust-session-manager.h\"\n+\n+namespace Rust {\n+namespace Analysis {\n+\n+using Attrs = Values::Attributes;\n+\n+static bool\n+is_proc_macro_type (const AST::Attribute &attribute)\n+{\n+  auto result_opt = lookup_builtin (attribute);\n+  if (!result_opt.has_value ())\n+    return false;\n+  auto result = result_opt.value ();\n+\n+  auto name = result.name;\n+  return name == Attrs::PROC_MACRO || name == Attrs::PROC_MACRO_DERIVE\n+\t || name == Attrs::PROC_MACRO_ATTRIBUTE;\n+}\n+\n+// Emit an error when one encountered attribute is either #[proc_macro],\n+// #[proc_macro_attribute] or #[proc_macro_derive]\n+static void\n+check_proc_macro_non_function (const AST::Attribute &attr)\n+{\n+  if (is_proc_macro_type (attr))\n+    rust_error_at (attr.get_locus (),\n+\t\t   \"the %<#[%s]%> attribute may only be used on bare functions\",\n+\t\t   attr.get_path ().get_segments ()[0].as_string ().c_str ());\n+}\n+\n+// Emit an error when one attribute is either proc_macro, proc_macro_attribute\n+// or proc_macro_derive\n+static void\n+check_proc_macro_non_root (const AST::Attribute &attr, location_t loc)\n+{\n+  if (is_proc_macro_type (attr))\n+    {\n+      rust_error_at (\n+\tloc,\n+\t\"functions tagged with %<#[%s]%> must currently \"\n+\t\"reside in the root of the crate\",\n+\tattr.get_path ().get_segments ().at (0).as_string ().c_str ());\n+    }\n+}\n+\n+AttributeChecker::AttributeChecker () {}\n+\n+void\n+AttributeChecker::go (AST::Crate &crate)\n+{\n+  visit (crate);\n+}\n+\n+void\n+AttributeChecker::visit (AST::Attribute &attribute)\n+{\n+  auto &session = Session::get_instance ();\n+  if (attribute.get_path () == Values::Attributes::CFG_ATTR)\n+    {\n+      if (!attribute.is_parsed_to_meta_item ())\n+\tattribute.parse_attr_to_meta_item ();\n+      if (!attribute.check_cfg_predicate (session))\n+\treturn; // Do not emit errors for attribute that'll get stripped.\n+    }\n+\n+  AST::DefaultASTVisitor::visit (attribute);\n+}\n+\n+void\n+AttributeChecker::visit (AST::Token &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::DelimTokenTree &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::IdentifierExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::Lifetime &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::LifetimeParam &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::ConstGenericParam &)\n+{}\n+\n+// rust-path.h\n+void\n+AttributeChecker::visit (AST::PathInExpression &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::TypePathSegment &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::TypePathSegmentGeneric &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::TypePathSegmentFunction &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::TypePath &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::QualifiedPathInExpression &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::QualifiedPathInType &)\n+{}\n+\n+// rust-expr.h\n+void\n+AttributeChecker::visit (AST::LiteralExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::AttrInputLiteral &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::MetaItemLitExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::MetaItemPathExpr &attribute)\n+{\n+  if (!attribute.get_expr ().is_literal ())\n+    {\n+      rust_error_at (attribute.get_expr ().get_locus (),\n+\t\t     \"malformed %<path%> attribute input\");\n+      rust_inform (attribute.get_expr ().get_locus (),\n+\t\t   \"must be of the form: %<#[path = \\\"file\\\"]%>\");\n+    }\n+}\n+\n+void\n+AttributeChecker::visit (AST::BorrowExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::DereferenceExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::ErrorPropagationExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::NegationExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::ArithmeticOrLogicalExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::ComparisonExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::LazyBooleanExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::TypeCastExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::AssignmentExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::CompoundAssignmentExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::GroupedExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::ArrayElemsValues &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::ArrayElemsCopied &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::ArrayExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::ArrayIndexExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::TupleExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::TupleIndexExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::StructExprStruct &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::StructExprFieldIdentifier &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::StructExprFieldIdentifierValue &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::StructExprFieldIndexValue &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::StructExprStructFields &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::StructExprStructBase &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::CallExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::MethodCallExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::FieldAccessExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::ClosureExprInner &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::BlockExpr &expr)\n+{\n+  for (auto &stmt : expr.get_statements ())\n+    {\n+      if (stmt->get_stmt_kind () == AST::Stmt::Kind::Item)\n+\t{\n+\t  // Non owning pointer, let it go out of scope\n+\t  auto item = static_cast<AST::Item *> (stmt.get ());\n+\t  for (auto &attr : item->get_outer_attrs ())\n+\t    check_proc_macro_non_root (attr, item->get_locus ());\n+\t}\n+    }\n+  AST::DefaultASTVisitor::visit (expr);\n+}\n+\n+void\n+AttributeChecker::visit (AST::ClosureExprInnerTyped &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::ContinueExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::BreakExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::RangeFromToExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::RangeFromExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::RangeToExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::RangeFullExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::RangeFromToInclExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::RangeToInclExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::ReturnExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::LoopExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::WhileLoopExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::WhileLetLoopExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::ForLoopExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::IfExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::IfExprConseqElse &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::IfLetExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::IfLetExprConseqElse &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::MatchExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::AwaitExpr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::AsyncBlockExpr &)\n+{}\n+\n+// rust-item.h\n+void\n+AttributeChecker::visit (AST::TypeParam &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::LifetimeWhereClauseItem &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::TypeBoundWhereClauseItem &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::Module &module)\n+{\n+  for (auto &attr : module.get_outer_attrs ())\n+    check_proc_macro_non_function (attr);\n+\n+  for (auto &item : module.get_items ())\n+    for (auto &attr : item->get_outer_attrs ())\n+      check_proc_macro_non_root (attr, item->get_locus ());\n+\n+  AST::DefaultASTVisitor::visit (module);\n+}\n+\n+void\n+AttributeChecker::visit (AST::ExternCrate &crate)\n+{\n+  for (auto &attr : crate.get_outer_attrs ())\n+    check_proc_macro_non_function (attr);\n+}\n+\n+void\n+AttributeChecker::visit (AST::UseTreeGlob &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::UseTreeList &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::UseTreeRebind &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::UseDeclaration &declaration)\n+{\n+  for (auto &attr : declaration.get_outer_attrs ())\n+    check_proc_macro_non_function (attr);\n+}\n+\n+void\n+AttributeChecker::visit (AST::Function &fun)\n+{\n+  if (fun.has_body ())\n+    fun.get_definition ().value ()->accept_vis (*this);\n+}\n+\n+void\n+AttributeChecker::visit (AST::TypeAlias &alias)\n+{\n+  for (auto &attr : alias.get_outer_attrs ())\n+    check_proc_macro_non_function (attr);\n+}\n+\n+void\n+AttributeChecker::visit (AST::StructStruct &struct_item)\n+{\n+  for (auto &attr : struct_item.get_outer_attrs ())\n+    {\n+      check_proc_macro_non_function (attr);\n+    }\n+\n+  AST::DefaultASTVisitor::visit (struct_item);\n+}\n+\n+void\n+AttributeChecker::visit (AST::TupleStruct &tuplestruct)\n+{\n+  for (auto &attr : tuplestruct.get_outer_attrs ())\n+    check_proc_macro_non_function (attr);\n+}\n+\n+void\n+AttributeChecker::visit (AST::EnumItem &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::EnumItemTuple &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::EnumItemStruct &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::EnumItemDiscriminant &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::Enum &enumeration)\n+{\n+  for (auto &attr : enumeration.get_outer_attrs ())\n+    check_proc_macro_non_function (attr);\n+}\n+\n+void\n+AttributeChecker::visit (AST::Union &u)\n+{\n+  for (auto &attr : u.get_outer_attrs ())\n+    check_proc_macro_non_function (attr);\n+}\n+\n+void\n+AttributeChecker::visit (AST::ConstantItem &item)\n+{\n+  for (auto &attr : item.get_outer_attrs ())\n+    check_proc_macro_non_function (attr);\n+}\n+\n+void\n+AttributeChecker::visit (AST::StaticItem &item)\n+{\n+  for (auto &attr : item.get_outer_attrs ())\n+    check_proc_macro_non_function (attr);\n+}\n+\n+void\n+AttributeChecker::visit (AST::TraitItemType &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::Trait &trait)\n+{\n+  for (auto &attr : trait.get_outer_attrs ())\n+    check_proc_macro_non_function (attr);\n+\n+  AST::DefaultASTVisitor::visit (trait);\n+}\n+\n+void\n+AttributeChecker::visit (AST::InherentImpl &impl)\n+{\n+  for (auto &attr : impl.get_outer_attrs ())\n+    check_proc_macro_non_function (attr);\n+\n+  AST::DefaultASTVisitor::visit (impl);\n+}\n+\n+void\n+AttributeChecker::visit (AST::TraitImpl &impl)\n+{\n+  for (auto &attr : impl.get_outer_attrs ())\n+    check_proc_macro_non_function (attr);\n+\n+  AST::DefaultASTVisitor::visit (impl);\n+}\n+\n+void\n+AttributeChecker::visit (AST::ExternalTypeItem &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::ExternalStaticItem &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::ExternBlock &block)\n+{\n+  for (auto &attr : block.get_outer_attrs ())\n+    check_proc_macro_non_function (attr);\n+}\n+\n+// rust-macro.h\n+void\n+AttributeChecker::visit (AST::MacroMatchFragment &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::MacroMatchRepetition &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::MacroMatcher &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::MacroRulesDefinition &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::MacroInvocation &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::MetaItemPath &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::MetaWord &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::MetaNameValueStr &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::MetaListPaths &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::MetaListNameValueStr &)\n+{}\n+\n+// rust-pattern.h\n+void\n+AttributeChecker::visit (AST::LiteralPattern &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::IdentifierPattern &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::WildcardPattern &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::RestPattern &)\n+{}\n+\n+// void AttributeChecker::visit(RangePatternBound& ){}\n+\n+void\n+AttributeChecker::visit (AST::RangePatternBoundLiteral &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::RangePatternBoundPath &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::RangePatternBoundQualPath &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::RangePattern &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::ReferencePattern &)\n+{}\n+\n+// void AttributeChecker::visit(StructPatternField& ){}\n+\n+void\n+AttributeChecker::visit (AST::StructPatternFieldTuplePat &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::StructPatternFieldIdentPat &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::StructPatternFieldIdent &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::StructPattern &)\n+{}\n+\n+// void AttributeChecker::visit(TupleStructItems& ){}\n+\n+void\n+AttributeChecker::visit (AST::TupleStructItemsNoRest &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::TupleStructItemsHasRest &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::TupleStructPattern &)\n+{}\n+\n+// void AttributeChecker::visit(TuplePatternItems& ){}\n+\n+void\n+AttributeChecker::visit (AST::TuplePatternItemsNoRest &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::TuplePatternItemsHasRest &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::TuplePattern &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::GroupedPattern &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::SlicePattern &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::AltPattern &)\n+{}\n+\n+// rust-stmt.h\n+void\n+AttributeChecker::visit (AST::EmptyStmt &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::LetStmt &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::ExprStmt &)\n+{}\n+\n+// rust-type.h\n+void\n+AttributeChecker::visit (AST::TraitBound &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::ImplTraitType &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::TraitObjectType &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::ParenthesisedType &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::ImplTraitTypeOneBound &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::TraitObjectTypeOneBound &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::TupleType &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::NeverType &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::RawPointerType &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::ReferenceType &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::ArrayType &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::SliceType &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::InferredType &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::BareFunctionType &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::SelfParam &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::VariadicParam &)\n+{}\n+\n+void\n+AttributeChecker::visit (AST::FunctionParam &)\n+{}\n+\n+} // namespace Analysis\n+} // namespace Rust\ndiff --git a/gcc/rust/checks/errors/rust-attribute-checker.h b/gcc/rust/checks/errors/rust-attribute-checker.h\nnew file mode 100644\nindex 00000000000..f9aff48c616\n--- /dev/null\n+++ b/gcc/rust/checks/errors/rust-attribute-checker.h\n@@ -0,0 +1,224 @@\n+// Copyright (C) 2026 Free Software Foundation, Inc.\n+\n+// This file is part of GCC.\n+\n+// GCC is free software; you can redistribute it and/or modify it under\n+// the terms of the GNU General Public License as published by the Free\n+// Software Foundation; either version 3, or (at your option) any later\n+// version.\n+\n+// GCC is distributed in the hope that it will be useful, but WITHOUT ANY\n+// WARRANTY; without even the implied warranty of MERCHANTABILITY or\n+// FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License\n+// for more details.\n+\n+// You should have received a copy of the GNU General Public License\n+// along with GCC; see the file COPYING3.  If not see\n+// <http://www.gnu.org/licenses/>.\n+\n+#ifndef RUST_ATTRIBUTE_CHECKER_H\n+#define RUST_ATTRIBUTE_CHECKER_H\n+\n+#include \"rust-ast-visitor.h\"\n+\n+namespace Rust {\n+namespace Analysis {\n+\n+/**\n+ * Checks the validity of various pre-expansion attributes.\n+ * The goal of this visitor is to make sure that attributes that are used for\n+ * macro expansion are applied in allowed contexts and correctly used.\n+ *\n+ * Examples:\n+ * - A proc macro derive attribute `#[derive(Something)]`shall not be used on a\n+ * function.\n+ */\n+class AttributeChecker : public AST::DefaultASTVisitor\n+{\n+public:\n+  AttributeChecker ();\n+\n+  /**\n+   * Check all the attributes of all the items of a crate\n+   */\n+  void go (AST::Crate &crate);\n+\n+private:\n+  using AST::DefaultASTVisitor::visit;\n+\n+  /* Check the validity of an inner attribute */\n+  void check_inner_attribute (const AST::Attribute &attribute);\n+\n+  /* Check the validity of a given attribute */\n+  // rust-ast.h\n+  void visit (AST::Attribute &attribute) override;\n+  void visit (AST::Token &tok) override;\n+  void visit (AST::DelimTokenTree &delim_tok_tree) override;\n+  void visit (AST::IdentifierExpr &ident_expr) override;\n+  void visit (AST::Lifetime &lifetime) override;\n+  void visit (AST::LifetimeParam &lifetime_param) override;\n+  void visit (AST::ConstGenericParam &const_param) override;\n+\n+  // rust-path.h\n+  void visit (AST::PathInExpression &path) override;\n+  void visit (AST::TypePathSegment &segment) override;\n+  void visit (AST::TypePathSegmentGeneric &segment) override;\n+  void visit (AST::TypePathSegmentFunction &segment) override;\n+  void visit (AST::TypePath &path) override;\n+  void visit (AST::QualifiedPathInExpression &path) override;\n+  void visit (AST::QualifiedPathInType &path) override;\n+\n+  // rust-expr.h\n+  void visit (AST::LiteralExpr &expr) override;\n+  void visit (AST::AttrInputLiteral &attr_input) override;\n+  void visit (AST::MetaItemLitExpr &meta_item) override;\n+  void visit (AST::MetaItemPathExpr &meta_item) override;\n+  void visit (AST::BorrowExpr &expr) override;\n+  void visit (AST::DereferenceExpr &expr) override;\n+  void visit (AST::ErrorPropagationExpr &expr) override;\n+  void visit (AST::NegationExpr &expr) override;\n+  void visit (AST::ArithmeticOrLogicalExpr &expr) override;\n+  void visit (AST::ComparisonExpr &expr) override;\n+  void visit (AST::LazyBooleanExpr &expr) override;\n+  void visit (AST::TypeCastExpr &expr) override;\n+  void visit (AST::AssignmentExpr &expr) override;\n+  void visit (AST::CompoundAssignmentExpr &expr) override;\n+  void visit (AST::GroupedExpr &expr) override;\n+  void visit (AST::ArrayElemsValues &elems) override;\n+  void visit (AST::ArrayElemsCopied &elems) override;\n+  void visit (AST::ArrayExpr &expr) override;\n+  void visit (AST::ArrayIndexExpr &expr) override;\n+  void visit (AST::TupleExpr &expr) override;\n+  void visit (AST::TupleIndexExpr &expr) override;\n+  void visit (AST::StructExprStruct &expr) override;\n+  void visit (AST::StructExprFieldIdentifier &field) override;\n+  void visit (AST::StructExprFieldIdentifierValue &field) override;\n+  void visit (AST::StructExprFieldIndexValue &field) override;\n+  void visit (AST::StructExprStructFields &expr) override;\n+  void visit (AST::StructExprStructBase &expr) override;\n+  void visit (AST::CallExpr &expr) override;\n+  void visit (AST::MethodCallExpr &expr) override;\n+  void visit (AST::FieldAccessExpr &expr) override;\n+  void visit (AST::ClosureExprInner &expr) override;\n+  void visit (AST::BlockExpr &expr) override;\n+  void visit (AST::ClosureExprInnerTyped &expr) override;\n+  void visit (AST::ContinueExpr &expr) override;\n+  void visit (AST::BreakExpr &expr) override;\n+  void visit (AST::RangeFromToExpr &expr) override;\n+  void visit (AST::RangeFromExpr &expr) override;\n+  void visit (AST::RangeToExpr &expr) override;\n+  void visit (AST::RangeFullExpr &expr) override;\n+  void visit (AST::RangeFromToInclExpr &expr) override;\n+  void visit (AST::RangeToInclExpr &expr) override;\n+  void visit (AST::ReturnExpr &expr) override;\n+  void visit (AST::LoopExpr &expr) override;\n+  void visit (AST::WhileLoopExpr &expr) override;\n+  void visit (AST::WhileLetLoopExpr &expr) override;\n+  void visit (AST::ForLoopExpr &expr) override;\n+  void visit (AST::IfExpr &expr) override;\n+  void visit (AST::IfExprConseqElse &expr) override;\n+  void visit (AST::IfLetExpr &expr) override;\n+  void visit (AST::IfLetExprConseqElse &expr) override;\n+  void visit (AST::MatchExpr &expr) override;\n+  void visit (AST::AwaitExpr &expr) override;\n+  void visit (AST::AsyncBlockExpr &expr) override;\n+\n+  // rust-item.h\n+  void visit (AST::TypeParam &param) override;\n+  void visit (AST::LifetimeWhereClauseItem &item) override;\n+  void visit (AST::TypeBoundWhereClauseItem &item) override;\n+  void visit (AST::Module &module) override;\n+  void visit (AST::ExternCrate &crate) override;\n+  void visit (AST::UseTreeGlob &use_tree) override;\n+  void visit (AST::UseTreeList &use_tree) override;\n+  void visit (AST::UseTreeRebind &use_tree) override;\n+  void visit (AST::UseDeclaration &use_decl) override;\n+  void visit (AST::Function &function) override;\n+  void visit (AST::TypeAlias &type_alias) override;\n+  void visit (AST::StructStruct &struct_item) override;\n+  void visit (AST::TupleStruct &tuple_struct) override;\n+  void visit (AST::EnumItem &item) override;\n+  void visit (AST::EnumItemTuple &item) override;\n+  void visit (AST::EnumItemStruct &item) override;\n+  void visit (AST::EnumItemDiscriminant &item) override;\n+  void visit (AST::Enum &enum_item) override;\n+  void visit (AST::Union &union_item) override;\n+  void visit (AST::ConstantItem &const_item) override;\n+  void visit (AST::StaticItem &static_item) override;\n+  void visit (AST::TraitItemType &item) override;\n+  void visit (AST::Trait &trait) override;\n+  void visit (AST::InherentImpl &impl) override;\n+  void visit (AST::TraitImpl &impl) override;\n+  void visit (AST::ExternalTypeItem &item) override;\n+  void visit (AST::ExternalStaticItem &item) override;\n+  void visit (AST::ExternBlock &block) override;\n+\n+  // rust-macro.h\n+  void visit (AST::MacroMatchFragment &match) override;\n+  void visit (AST::MacroMatchRepetition &match) override;\n+  void visit (AST::MacroMatcher &matcher) override;\n+  void visit (AST::MacroRulesDefinition &rules_def) override;\n+  void visit (AST::MacroInvocation &macro_invoc) override;\n+  void visit (AST::MetaItemPath &meta_item) override;\n+  void visit (AST::MetaWord &meta_item) override;\n+  void visit (AST::MetaNameValueStr &meta_item) override;\n+  void visit (AST::MetaListPaths &meta_item) override;\n+  void visit (AST::MetaListNameValueStr &meta_item) override;\n+\n+  // rust-pattern.h\n+  void visit (AST::LiteralPattern &pattern) override;\n+  void visit (AST::IdentifierPattern &pattern) override;\n+  void visit (AST::WildcardPattern &pattern) override;\n+  void visit (AST::RestPattern &pattern) override;\n+  // void visit(RangePatternBound& bound) override;\n+  void visit (AST::RangePatternBoundLiteral &bound) override;\n+  void visit (AST::RangePatternBoundPath &bound) override;\n+  void visit (AST::RangePatternBoundQualPath &bound) override;\n+  void visit (AST::RangePattern &pattern) override;\n+  void visit (AST::ReferencePattern &pattern) override;\n+  // void visit(StructPatternField& field) override;\n+  void visit (AST::StructPatternFieldTuplePat &field) override;\n+  void visit (AST::StructPatternFieldIdentPat &field) override;\n+  void visit (AST::StructPatternFieldIdent &field) override;\n+  void visit (AST::StructPattern &pattern) override;\n+  // void visit(TupleStructItems& tuple_items) override;\n+  void visit (AST::TupleStructItemsNoRest &tuple_items) override;\n+  void visit (AST::TupleStructItemsHasRest &tuple_items) override;\n+  void visit (AST::TupleStructPattern &pattern) override;\n+  // void visit(TuplePatternItems& tuple_items) override;\n+  void visit (AST::TuplePatternItemsNoRest &tuple_items) override;\n+  void visit (AST::TuplePatternItemsHasRest &tuple_items) override;\n+  void visit (AST::TuplePattern &pattern) override;\n+  void visit (AST::GroupedPattern &pattern) override;\n+  void visit (AST::SlicePattern &pattern) override;\n+  void visit (AST::AltPattern &pattern) override;\n+\n+  // rust-stmt.h\n+  void visit (AST::EmptyStmt &stmt) override;\n+  void visit (AST::LetStmt &stmt) override;\n+  void visit (AST::ExprStmt &stmt) override;\n+\n+  // rust-type.h\n+  void visit (AST::TraitBound &bound) override;\n+  void visit (AST::ImplTraitType &type) override;\n+  void visit (AST::TraitObjectType &type) override;\n+  void visit (AST::ParenthesisedType &type) override;\n+  void visit (AST::ImplTraitTypeOneBound &type) override;\n+  void visit (AST::TraitObjectTypeOneBound &type) override;\n+  void visit (AST::TupleType &type) override;\n+  void visit (AST::NeverType &type) override;\n+  void visit (AST::RawPointerType &type) override;\n+  void visit (AST::ReferenceType &type) override;\n+  void visit (AST::ArrayType &type) override;\n+  void visit (AST::SliceType &type) override;\n+  void visit (AST::InferredType &type) override;\n+  void visit (AST::BareFunctionType &type) override;\n+  void visit (AST::FunctionParam &param) override;\n+  void visit (AST::VariadicParam &param) override;\n+  void visit (AST::SelfParam &param) override;\n+};\n+\n+} // namespace Analysis\n+} // namespace Rust\n+\n+#endif /* ! RUST_ATTRIBUTE_CHECKER_H */\ndiff --git a/gcc/rust/checks/errors/rust-builtin-attribute-checker.h b/gcc/rust/checks/errors/rust-builtin-attribute-checker.h\nindex 4765e630d35..e0564f2a407 100644\n--- a/gcc/rust/checks/errors/rust-builtin-attribute-checker.h\n+++ b/gcc/rust/checks/errors/rust-builtin-attribute-checker.h\n@@ -27,6 +27,18 @@ namespace Analysis {\n void check_valid_attribute_for_item (const AST::Attribute &attr,\n \t\t\t\t     const AST::Item &item);\n \n+/**\n+ * Checks the validity of builtin attributes.\n+ *\n+ * The goal of this visitor is to  make sure that builtin attributes are\n+ * correctly used by enforcing those rules:\n+ *\n+ * - Attributes are applied in allowed contexts, for example to make sure that\n+ * #[inline] is only applied to functions and closures, as well as checking the\n+ * \"arguments\"\n+ *\n+ * - input given to these attributes is appropriate and valid.\n+ */\n class BuiltinAttributeChecker : public AST::DefaultASTVisitor\n {\n   using AST::DefaultASTVisitor::visit;\ndiff --git a/gcc/rust/rust-session-manager.cc b/gcc/rust/rust-session-manager.cc\nindex 364ca081142..9872cc0e764 100644\n--- a/gcc/rust/rust-session-manager.cc\n+++ b/gcc/rust/rust-session-manager.cc\n@@ -60,6 +60,7 @@\n #include \"rust-borrow-checker.h\"\n #include \"rust-ast-validation.h\"\n #include \"rust-tyty-variance-analysis.h\"\n+#include \"rust-attribute-checker.h\"\n #include \"rust-builtin-attribute-checker.h\"\n \n #include \"input.h\"\ndiff --git a/gcc/rust/util/rust-attributes.cc b/gcc/rust/util/rust-attributes.cc\nindex f03fa90d9c0..39339f27c93 100644\n--- a/gcc/rust/util/rust-attributes.cc\n+++ b/gcc/rust/util/rust-attributes.cc\n@@ -16,14 +16,9 @@\n // along with GCC; see the file COPYING3.  If not see\n // <http://www.gnu.org/licenses/>.\n \n-#include \"rust-ast-visitor.h\"\n-#include \"rust-system.h\"\n-#include \"rust-session-manager.h\"\n #include \"rust-attributes.h\"\n #include \"rust-ast.h\"\n #include \"rust-ast-full.h\"\n-#include \"rust-diagnostics.h\"\n-#include \"rust-unicode.h\"\n #include \"rust-attribute-values.h\"\n \n namespace Rust {\n@@ -186,14 +181,6 @@ BuiltinAttributeMappings::BuiltinAttributeMappings ()\n     }\n }\n \n-AttributeChecker::AttributeChecker () {}\n-\n-void\n-AttributeChecker::go (AST::Crate &crate)\n-{\n-  visit (crate);\n-}\n-\n tl::optional<BuiltinAttrDefinition>\n lookup_builtin (const AST::Attribute &attribute)\n {\n@@ -209,739 +196,5 @@ lookup_builtin (const AST::Attribute &attribute)\n     segments.at (0).get_segment_name ());\n }\n \n-static bool\n-is_proc_macro_type (const AST::Attribute &attribute)\n-{\n-  auto result_opt = lookup_builtin (attribute);\n-  if (!result_opt.has_value ())\n-    return false;\n-  auto result = result_opt.value ();\n-\n-  auto name = result.name;\n-  return name == Attrs::PROC_MACRO || name == Attrs::PROC_MACRO_DERIVE\n-\t || name == Attrs::PROC_MACRO_ATTRIBUTE;\n-}\n-\n-// Emit an error when one encountered attribute is either #[proc_macro],\n-// #[proc_macro_attribute] or #[proc_macro_derive]\n-static void\n-check_proc_macro_non_function (const AST::Attribute &attr)\n-{\n-  if (is_proc_macro_type (attr))\n-    rust_error_at (attr.get_locus (),\n-\t\t   \"the %<#[%s]%> attribute may only be used on bare functions\",\n-\t\t   attr.get_path ().get_segments ()[0].as_string ().c_str ());\n-}\n-\n-// Emit an error when one attribute is either proc_macro, proc_macro_attribute\n-// or proc_macro_derive\n-static void\n-check_proc_macro_non_root (const AST::Attribute &attr, location_t loc)\n-{\n-  if (is_proc_macro_type (attr))\n-    {\n-      rust_error_at (\n-\tloc,\n-\t\"functions tagged with %<#[%s]%> must currently \"\n-\t\"reside in the root of the crate\",\n-\tattr.get_path ().get_segments ().at (0).as_string ().c_str ());\n-    }\n-}\n-\n-void\n-AttributeChecker::visit (AST::Attribute &attribute)\n-{\n-  auto &session = Session::get_instance ();\n-  if (attribute.get_path () == Values::Attributes::CFG_ATTR)\n-    {\n-      if (!attribute.is_parsed_to_meta_item ())\n-\tattribute.parse_attr_to_meta_item ();\n-      if (!attribute.check_cfg_predicate (session))\n-\treturn; // Do not emit errors for attribute that'll get stripped.\n-    }\n-\n-  AST::DefaultASTVisitor::visit (attribute);\n-}\n-\n-void\n-AttributeChecker::visit (AST::Token &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::DelimTokenTree &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::IdentifierExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::Lifetime &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::LifetimeParam &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::ConstGenericParam &)\n-{}\n-\n-// rust-path.h\n-void\n-AttributeChecker::visit (AST::PathInExpression &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::TypePathSegment &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::TypePathSegmentGeneric &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::TypePathSegmentFunction &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::TypePath &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::QualifiedPathInExpression &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::QualifiedPathInType &)\n-{}\n-\n-// rust-expr.h\n-void\n-AttributeChecker::visit (AST::LiteralExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::AttrInputLiteral &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::MetaItemLitExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::MetaItemPathExpr &attribute)\n-{\n-  if (!attribute.get_expr ().is_literal ())\n-    {\n-      rust_error_at (attribute.get_expr ().get_locus (),\n-\t\t     \"malformed %<path%> attribute input\");\n-      rust_inform (attribute.get_expr ().get_locus (),\n-\t\t   \"must be of the form: %<#[path = \\\"file\\\"]%>\");\n-    }\n-}\n-\n-void\n-AttributeChecker::visit (AST::BorrowExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::DereferenceExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::ErrorPropagationExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::NegationExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::ArithmeticOrLogicalExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::ComparisonExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::LazyBooleanExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::TypeCastExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::AssignmentExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::CompoundAssignmentExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::GroupedExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::ArrayElemsValues &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::ArrayElemsCopied &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::ArrayExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::ArrayIndexExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::TupleExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::TupleIndexExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::StructExprStruct &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::StructExprFieldIdentifier &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::StructExprFieldIdentifierValue &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::StructExprFieldIndexValue &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::StructExprStructFields &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::StructExprStructBase &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::CallExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::MethodCallExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::FieldAccessExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::ClosureExprInner &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::BlockExpr &expr)\n-{\n-  for (auto &stmt : expr.get_statements ())\n-    {\n-      if (stmt->get_stmt_kind () == AST::Stmt::Kind::Item)\n-\t{\n-\t  // Non owning pointer, let it go out of scope\n-\t  auto item = static_cast<AST::Item *> (stmt.get ());\n-\t  for (auto &attr : item->get_outer_attrs ())\n-\t    check_proc_macro_non_root (attr, item->get_locus ());\n-\t}\n-    }\n-  AST::DefaultASTVisitor::visit (expr);\n-}\n-\n-void\n-AttributeChecker::visit (AST::ClosureExprInnerTyped &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::ContinueExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::BreakExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::RangeFromToExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::RangeFromExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::RangeToExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::RangeFullExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::RangeFromToInclExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::RangeToInclExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::ReturnExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::LoopExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::WhileLoopExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::WhileLetLoopExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::ForLoopExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::IfExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::IfExprConseqElse &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::IfLetExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::IfLetExprConseqElse &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::MatchExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::AwaitExpr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::AsyncBlockExpr &)\n-{}\n-\n-// rust-item.h\n-void\n-AttributeChecker::visit (AST::TypeParam &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::LifetimeWhereClauseItem &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::TypeBoundWhereClauseItem &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::Module &module)\n-{\n-  for (auto &attr : module.get_outer_attrs ())\n-    check_proc_macro_non_function (attr);\n-\n-  for (auto &item : module.get_items ())\n-    for (auto &attr : item->get_outer_attrs ())\n-      check_proc_macro_non_root (attr, item->get_locus ());\n-\n-  AST::DefaultASTVisitor::visit (module);\n-}\n-\n-void\n-AttributeChecker::visit (AST::ExternCrate &crate)\n-{\n-  for (auto &attr : crate.get_outer_attrs ())\n-    check_proc_macro_non_function (attr);\n-}\n-\n-void\n-AttributeChecker::visit (AST::UseTreeGlob &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::UseTreeList &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::UseTreeRebind &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::UseDeclaration &declaration)\n-{\n-  for (auto &attr : declaration.get_outer_attrs ())\n-    check_proc_macro_non_function (attr);\n-}\n-\n-void\n-AttributeChecker::visit (AST::Function &fun)\n-{\n-  if (fun.has_body ())\n-    fun.get_definition ().value ()->accept_vis (*this);\n-}\n-\n-void\n-AttributeChecker::visit (AST::TypeAlias &alias)\n-{\n-  for (auto &attr : alias.get_outer_attrs ())\n-    check_proc_macro_non_function (attr);\n-}\n-\n-void\n-AttributeChecker::visit (AST::StructStruct &struct_item)\n-{\n-  for (auto &attr : struct_item.get_outer_attrs ())\n-    {\n-      check_proc_macro_non_function (attr);\n-    }\n-\n-  AST::DefaultASTVisitor::visit (struct_item);\n-}\n-\n-void\n-AttributeChecker::visit (AST::TupleStruct &tuplestruct)\n-{\n-  for (auto &attr : tuplestruct.get_outer_attrs ())\n-    check_proc_macro_non_function (attr);\n-}\n-\n-void\n-AttributeChecker::visit (AST::EnumItem &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::EnumItemTuple &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::EnumItemStruct &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::EnumItemDiscriminant &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::Enum &enumeration)\n-{\n-  for (auto &attr : enumeration.get_outer_attrs ())\n-    check_proc_macro_non_function (attr);\n-}\n-\n-void\n-AttributeChecker::visit (AST::Union &u)\n-{\n-  for (auto &attr : u.get_outer_attrs ())\n-    check_proc_macro_non_function (attr);\n-}\n-\n-void\n-AttributeChecker::visit (AST::ConstantItem &item)\n-{\n-  for (auto &attr : item.get_outer_attrs ())\n-    check_proc_macro_non_function (attr);\n-}\n-\n-void\n-AttributeChecker::visit (AST::StaticItem &item)\n-{\n-  for (auto &attr : item.get_outer_attrs ())\n-    check_proc_macro_non_function (attr);\n-}\n-\n-void\n-AttributeChecker::visit (AST::TraitItemType &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::Trait &trait)\n-{\n-  for (auto &attr : trait.get_outer_attrs ())\n-    check_proc_macro_non_function (attr);\n-\n-  AST::DefaultASTVisitor::visit (trait);\n-}\n-\n-void\n-AttributeChecker::visit (AST::InherentImpl &impl)\n-{\n-  for (auto &attr : impl.get_outer_attrs ())\n-    check_proc_macro_non_function (attr);\n-\n-  AST::DefaultASTVisitor::visit (impl);\n-}\n-\n-void\n-AttributeChecker::visit (AST::TraitImpl &impl)\n-{\n-  for (auto &attr : impl.get_outer_attrs ())\n-    check_proc_macro_non_function (attr);\n-\n-  AST::DefaultASTVisitor::visit (impl);\n-}\n-\n-void\n-AttributeChecker::visit (AST::ExternalTypeItem &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::ExternalStaticItem &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::ExternBlock &block)\n-{\n-  for (auto &attr : block.get_outer_attrs ())\n-    check_proc_macro_non_function (attr);\n-}\n-\n-// rust-macro.h\n-void\n-AttributeChecker::visit (AST::MacroMatchFragment &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::MacroMatchRepetition &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::MacroMatcher &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::MacroRulesDefinition &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::MacroInvocation &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::MetaItemPath &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::MetaWord &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::MetaNameValueStr &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::MetaListPaths &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::MetaListNameValueStr &)\n-{}\n-\n-// rust-pattern.h\n-void\n-AttributeChecker::visit (AST::LiteralPattern &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::IdentifierPattern &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::WildcardPattern &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::RestPattern &)\n-{}\n-\n-// void AttributeChecker::visit(RangePatternBound& ){}\n-\n-void\n-AttributeChecker::visit (AST::RangePatternBoundLiteral &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::RangePatternBoundPath &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::RangePatternBoundQualPath &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::RangePattern &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::ReferencePattern &)\n-{}\n-\n-// void AttributeChecker::visit(StructPatternField& ){}\n-\n-void\n-AttributeChecker::visit (AST::StructPatternFieldTuplePat &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::StructPatternFieldIdentPat &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::StructPatternFieldIdent &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::StructPattern &)\n-{}\n-\n-// void AttributeChecker::visit(TupleStructItems& ){}\n-\n-void\n-AttributeChecker::visit (AST::TupleStructItemsNoRest &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::TupleStructItemsHasRest &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::TupleStructPattern &)\n-{}\n-\n-// void AttributeChecker::visit(TuplePatternItems& ){}\n-\n-void\n-AttributeChecker::visit (AST::TuplePatternItemsNoRest &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::TuplePatternItemsHasRest &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::TuplePattern &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::GroupedPattern &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::SlicePattern &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::AltPattern &)\n-{}\n-\n-// rust-stmt.h\n-void\n-AttributeChecker::visit (AST::EmptyStmt &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::LetStmt &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::ExprStmt &)\n-{}\n-\n-// rust-type.h\n-void\n-AttributeChecker::visit (AST::TraitBound &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::ImplTraitType &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::TraitObjectType &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::ParenthesisedType &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::ImplTraitTypeOneBound &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::TraitObjectTypeOneBound &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::TupleType &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::NeverType &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::RawPointerType &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::ReferenceType &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::ArrayType &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::SliceType &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::InferredType &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::BareFunctionType &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::SelfParam &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::VariadicParam &)\n-{}\n-\n-void\n-AttributeChecker::visit (AST::FunctionParam &)\n-{}\n-\n } // namespace Analysis\n } // namespace Rust\ndiff --git a/gcc/rust/util/rust-attributes.h b/gcc/rust/util/rust-attributes.h\nindex 3e5aea815e8..778cc9e33db 100644\n--- a/gcc/rust/util/rust-attributes.h\n+++ b/gcc/rust/util/rust-attributes.h\n@@ -19,8 +19,7 @@\n #define RUST_ATTRIBUTES_H\n \n #include \"rust-ast.h\"\n-#include \"rust-system.h\"\n-#include \"rust-ast-visitor.h\"\n+#include \"optional.h\"\n \n namespace Rust {\n namespace Analysis {\n@@ -84,198 +83,6 @@ private:\n   std::map<std::string, const BuiltinAttrDefinition> mappings;\n };\n \n-/**\n- * Checks the validity of various attributes. The goal of this visitor is to\n- * make sure that attributes are applied in allowed contexts, for example to\n- * make sure that #[inline] is only applied to functions and closures, as well\n- * as checking the \"arguments\" or input given to these attributes, making sure\n- * it is appropriate and valid.\n- */\n-class AttributeChecker : public AST::DefaultASTVisitor\n-{\n-public:\n-  AttributeChecker ();\n-\n-  /**\n-   * Check all the attributes of all the items of a crate\n-   */\n-  void go (AST::Crate &crate);\n-\n-private:\n-  using AST::DefaultASTVisitor::visit;\n-\n-  /* Check the validity of an inner attribute */\n-  void check_inner_attribute (const AST::Attribute &attribute);\n-  /* Check the validity of a given attribute */\n-\n-  // rust-ast.h\n-  void visit (AST::Attribute &attribute) override;\n-  void visit (AST::Token &tok) override;\n-  void visit (AST::DelimTokenTree &delim_tok_tree) override;\n-  void visit (AST::IdentifierExpr &ident_expr) override;\n-  void visit (AST::Lifetime &lifetime) override;\n-  void visit (AST::LifetimeParam &lifetime_param) override;\n-  void visit (AST::ConstGenericParam &const_param) override;\n-\n-  // rust-path.h\n-  void visit (AST::PathInExpression &path) override;\n-  void visit (AST::TypePathSegment &segment) override;\n-  void visit (AST::TypePathSegmentGeneric &segment) override;\n-  void visit (AST::TypePathSegmentFunction &segment) override;\n-  void visit (AST::TypePath &path) override;\n-  void visit (AST::QualifiedPathInExpression &path) override;\n-  void visit (AST::QualifiedPathInType &path) override;\n-\n-  // rust-expr.h\n-  void visit (AST::LiteralExpr &expr) override;\n-  void visit (AST::AttrInputLiteral &attr_input) override;\n-  void visit (AST::MetaItemLitExpr &meta_item) override;\n-  void visit (AST::MetaItemPathExpr &meta_item) override;\n-  void visit (AST::BorrowExpr &expr) override;\n-  void visit (AST::DereferenceExpr &expr) override;\n-  void visit (AST::ErrorPropagationExpr &expr) override;\n-  void visit (AST::NegationExpr &expr) override;\n-  void visit (AST::ArithmeticOrLogicalExpr &expr) override;\n-  void visit (AST::ComparisonExpr &expr) override;\n-  void visit (AST::LazyBooleanExpr &expr) override;\n-  void visit (AST::TypeCastExpr &expr) override;\n-  void visit (AST::AssignmentExpr &expr) override;\n-  void visit (AST::CompoundAssignmentExpr &expr) override;\n-  void visit (AST::GroupedExpr &expr) override;\n-  void visit (AST::ArrayElemsValues &elems) override;\n-  void visit (AST::ArrayElemsCopied &elems) override;\n-  void visit (AST::ArrayExpr &expr) override;\n-  void visit (AST::ArrayIndexExpr &expr) override;\n-  void visit (AST::TupleExpr &expr) override;\n-  void visit (AST::TupleIndexExpr &expr) override;\n-  void visit (AST::StructExprStruct &expr) override;\n-  void visit (AST::StructExprFieldIdentifier &field) override;\n-  void visit (AST::StructExprFieldIdentifierValue &field) override;\n-  void visit (AST::StructExprFieldIndexValue &field) override;\n-  void visit (AST::StructExprStructFields &expr) override;\n-  void visit (AST::StructExprStructBase &expr) override;\n-  void visit (AST::CallExpr &expr) override;\n-  void visit (AST::MethodCallExpr &expr) override;\n-  void visit (AST::FieldAccessExpr &expr) override;\n-  void visit (AST::ClosureExprInner &expr) override;\n-  void visit (AST::BlockExpr &expr) override;\n-  void visit (AST::ClosureExprInnerTyped &expr) override;\n-  void visit (AST::ContinueExpr &expr) override;\n-  void visit (AST::BreakExpr &expr) override;\n-  void visit (AST::RangeFromToExpr &expr) override;\n-  void visit (AST::RangeFromExpr &expr) override;\n-  void visit (AST::RangeToExpr &expr) override;\n-  void visit (AST::RangeFullExpr &expr) override;\n-  void visit (AST::RangeFromToInclExpr &expr) override;\n-  void visit (AST::RangeToInclExpr &expr) override;\n-  void visit (AST::ReturnExpr &expr) override;\n-  void visit (AST::LoopExpr &expr) override;\n-  void visit (AST::WhileLoopExpr &expr) override;\n-  void visit (AST::WhileLetLoopExpr &expr) override;\n-  void visit (AST::ForLoopExpr &expr) override;\n-  void visit (AST::IfExpr &expr) override;\n-  void visit (AST::IfExprConseqElse &expr) override;\n-  void visit (AST::IfLetExpr &expr) override;\n-  void visit (AST::IfLetExprConseqElse &expr) override;\n-  void visit (AST::MatchExpr &expr) override;\n-  void visit (AST::AwaitExpr &expr) override;\n-  void visit (AST::AsyncBlockExpr &expr) override;\n-\n-  // rust-item.h\n-  void visit (AST::TypeParam &param) override;\n-  void visit (AST::LifetimeWhereClauseItem &item) override;\n-  void visit (AST::TypeBoundWhereClauseItem &item) override;\n-  void visit (AST::Module &module) override;\n-  void visit (AST::ExternCrate &crate) override;\n-  void visit (AST::UseTreeGlob &use_tree) override;\n-  void visit (AST::UseTreeList &use_tree) override;\n-  void visit (AST::UseTreeRebind &use_tree) override;\n-  void visit (AST::UseDeclaration &use_decl) override;\n-  void visit (AST::Function &function) override;\n-  void visit (AST::TypeAlias &type_alias) override;\n-  void visit (AST::StructStruct &struct_item) override;\n-  void visit (AST::TupleStruct &tuple_struct) override;\n-  void visit (AST::EnumItem &item) override;\n-  void visit (AST::EnumItemTuple &item) override;\n-  void visit (AST::EnumItemStruct &item) override;\n-  void visit (AST::EnumItemDiscriminant &item) override;\n-  void visit (AST::Enum &enum_item) override;\n-  void visit (AST::Union &union_item) override;\n-  void visit (AST::ConstantItem &const_item) override;\n-  void visit (AST::StaticItem &static_item) override;\n-  void visit (AST::TraitItemType &item) override;\n-  void visit (AST::Trait &trait) override;\n-  void visit (AST::InherentImpl &impl) override;\n-  void visit (AST::TraitImpl &impl) override;\n-  void visit (AST::ExternalTypeItem &item) override;\n-  void visit (AST::ExternalStaticItem &item) override;\n-  void visit (AST::ExternBlock &block) override;\n-\n-  // rust-macro.h\n-  void visit (AST::MacroMatchFragment &match) override;\n-  void visit (AST::MacroMatchRepetition &match) override;\n-  void visit (AST::MacroMatcher &matcher) override;\n-  void visit (AST::MacroRulesDefinition &rules_def) override;\n-  void visit (AST::MacroInvocation &macro_invoc) override;\n-  void visit (AST::MetaItemPath &meta_item) override;\n-  void visit (AST::MetaWord &meta_item) override;\n-  void visit (AST::MetaNameValueStr &meta_item) override;\n-  void visit (AST::MetaListPaths &meta_item) override;\n-  void visit (AST::MetaListNameValueStr &meta_item) override;\n-\n-  // rust-pattern.h\n-  void visit (AST::LiteralPattern &pattern) override;\n-  void visit (AST::IdentifierPattern &pattern) override;\n-  void visit (AST::WildcardPattern &pattern) override;\n-  void visit (AST::RestPattern &pattern) override;\n-  // void visit(RangePatternBound& bound) override;\n-  void visit (AST::RangePatternBoundLiteral &bound) override;\n-  void visit (AST::RangePatternBoundPath &bound) override;\n-  void visit (AST::RangePatternBoundQualPath &bound) override;\n-  void visit (AST::RangePattern &pattern) override;\n-  void visit (AST::ReferencePattern &pattern) override;\n-  // void visit(StructPatternField& field) override;\n-  void visit (AST::StructPatternFieldTuplePat &field) override;\n-  void visit (AST::StructPatternFieldIdentPat &field) override;\n-  void visit (AST::StructPatternFieldIdent &field) override;\n-  void visit (AST::StructPattern &pattern) override;\n-  // void visit(TupleStructItems& tuple_items) override;\n-  void visit (AST::TupleStructItemsNoRest &tuple_items) override;\n-  void visit (AST::TupleStructItemsHasRest &tuple_items) override;\n-  void visit (AST::TupleStructPattern &pattern) override;\n-  // void visit(TuplePatternItems& tuple_items) override;\n-  void visit (AST::TuplePatternItemsNoRest &tuple_items) override;\n-  void visit (AST::TuplePatternItemsHasRest &tuple_items) override;\n-  void visit (AST::TuplePattern &pattern) override;\n-  void visit (AST::GroupedPattern &pattern) override;\n-  void visit (AST::SlicePattern &pattern) override;\n-  void visit (AST::AltPattern &pattern) override;\n-\n-  // rust-stmt.h\n-  void visit (AST::EmptyStmt &stmt) override;\n-  void visit (AST::LetStmt &stmt) override;\n-  void visit (AST::ExprStmt &stmt) override;\n-\n-  // rust-type.h\n-  void visit (AST::TraitBound &bound) override;\n-  void visit (AST::ImplTraitType &type) override;\n-  void visit (AST::TraitObjectType &type) override;\n-  void visit (AST::ParenthesisedType &type) override;\n-  void visit (AST::ImplTraitTypeOneBound &type) override;\n-  void visit (AST::TraitObjectTypeOneBound &type) override;\n-  void visit (AST::TupleType &type) override;\n-  void visit (AST::NeverType &type) override;\n-  void visit (AST::RawPointerType &type) override;\n-  void visit (AST::ReferenceType &type) override;\n-  void visit (AST::ArrayType &type) override;\n-  void visit (AST::SliceType &type) override;\n-  void visit (AST::InferredType &type) override;\n-  void visit (AST::BareFunctionType &type) override;\n-  void visit (AST::FunctionParam &param) override;\n-  void visit (AST::VariadicParam &param) override;\n-  void visit (AST::SelfParam &param) override;\n-};\n-\n tl::optional<BuiltinAttrDefinition>\n lookup_builtin (const AST::Attribute &attribute);\n \n","prefixes":["COMMITTED","30/43"]}