From patchwork Tue Jan 30 12:06:34 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Arthur Cohen X-Patchwork-Id: 194066 Return-Path: Delivered-To: ouuuleilei@gmail.com Received: by 2002:a05:7301:2087:b0:106:209c:c626 with SMTP id gs7csp1181112dyb; Tue, 30 Jan 2024 04:24:29 -0800 (PST) X-Google-Smtp-Source: AGHT+IEZkonAjaFNq5vPK7IwxfCTEktrfrjql+nxT2Kp9+MNtwUZ5lcHN9S3VohfoE+4nQPBxFGD X-Received: by 2002:a05:620a:468b:b0:785:34fd:f12c with SMTP id bq11-20020a05620a468b00b0078534fdf12cmr245424qkb.65.1706617469526; Tue, 30 Jan 2024 04:24:29 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1706617469; cv=pass; d=google.com; s=arc-20160816; b=Vhz48W4BiCzleIihhKrChm8XrAYM/Pez+siHhrGCztUBW9b9YIr0MHw0iu1wtdlUvI TtFRwnSVBUgZriwddBchCceQqhyA7vP8AxPNNY0MLKpKJEpd57n8Ad15yZ3HyxKmLF7+ +9G1jtyW4h/7J2g6tZgGx/Rssmt+M8qHDJqehszsygilSin+dCTz59+UPqCt1RtwRFwC SHNrxy9ylWsvA4dEzwfyRcN8DO/1E0BlPevYbQ7vCpNAkJTsseSR0wDYnLLzvRgoQCkN wji98HQYISb5PrqqMt5iVB4nmVVK03WsLzAHnyEh6KYAiPzaD2zw+SNOVGNWF9X86ckP nOug== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=errors-to:reply-to:list-subscribe:list-help:list-post:list-archive :list-unsubscribe:list-id:precedence:content-transfer-encoding :mime-version:references:in-reply-to:message-id:date:subject:cc:to :from:dkim-signature:arc-filter:dmarc-filter:delivered-to; bh=1eg/fqxpXzJ3ahmRGZMh8cWitAYvnGbTkXIvIM8cFsE=; fh=s1GzlUPo1djGkCl3rkRJI30hDOSCVwGp0RAbVwQ8dxQ=; b=LQUVQiX4vZjklrARdZq32iRZwLjNgxCW0jQaJhKggRtnpWNUbR+boUJqlEdDK+8Tfx Ly4z1uVq22H0WenxKb9RTu+2pKbxuCINuA1yMvWHjF/xP3Y5YAs5TvNUd7ASDchqkbeu ol+820d1nVbp/DxLA5V7U+09LBnaJUbIp8XmISGIA7HmOaNmcLX41ae1r3+VzJ5uztsW Azdus8vx0NH/lcuVIwbuHpk2LDnliCDrqjw6KObnHFzX2+78gPQL7zSWHvNsfKnlHsiv 0e3W7K+icWkWMXQ0bCiCeEatzq67o1LiLzTMUDd87cLmk5za7FUMy51gp1QcVDXJ7fvT AKbA== ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@embecosm.com header.s=google header.b=Vst070OB; arc=pass (i=1); spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 8.43.85.97 as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org" Received: from server2.sourceware.org (server2.sourceware.org. [8.43.85.97]) by mx.google.com with ESMTPS id a27-20020a05620a02fb00b00783e5c0ae73si7292105qko.180.2024.01.30.04.24.29 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 30 Jan 2024 04:24:29 -0800 (PST) Received-SPF: pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 8.43.85.97 as permitted sender) client-ip=8.43.85.97; Authentication-Results: mx.google.com; dkim=pass header.i=@embecosm.com header.s=google header.b=Vst070OB; arc=pass (i=1); spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 8.43.85.97 as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org" Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 14BCB3857B98 for ; Tue, 30 Jan 2024 12:24:28 +0000 (GMT) X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from mail-lj1-x22b.google.com (mail-lj1-x22b.google.com [IPv6:2a00:1450:4864:20::22b]) by sourceware.org (Postfix) with ESMTPS id E43FC3858032 for ; Tue, 30 Jan 2024 12:11:04 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org E43FC3858032 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=embecosm.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=embecosm.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org E43FC3858032 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2a00:1450:4864:20::22b ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1706616673; cv=none; b=DUynydaWF3Z4GELIxtkalrKL9S9RZhIOH7j3TaLzczI6WPnUMXtyIOr1dIuSEVfPjq9aeJxcnmb5y7SYMs5zzxY1l3I4JdSESGNSGJeRVz/XHwT6Vw479k/41tl8N2lurkR7Gz0XSfxGuHBLFUG2uk28jcaXj4SbKBs9EyL0ni0= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1706616673; c=relaxed/simple; bh=E+itCyfrJ1Gc9H5x44DyCta3QxZL/q9Nzdn27TOE1Pw=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=E7pYMoeB/iBYgqsgLTQcJFBxFh6KcKOojD6I6iPx3pP16Z5AooVG9MNFY6D9gzC6Qwk3pV9edAARFVz+lDJ88XSX5yRiqrcOH5CPA28DL5jO+QFY8HjF2pTR1Z+HOsQ+iTLXSzBG/nBe3kDQV8wbjH9HkLvtUJPZl//83XeY520= ARC-Authentication-Results: i=1; server2.sourceware.org Received: by mail-lj1-x22b.google.com with SMTP id 38308e7fff4ca-2d05b06b5f9so6689311fa.3 for ; Tue, 30 Jan 2024 04:11:04 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=embecosm.com; s=google; t=1706616663; x=1707221463; darn=gcc.gnu.org; h=content-transfer-encoding:mime-version:reply-to:references :in-reply-to:message-id:date:subject:cc:to:from:from:to:cc:subject :date:message-id:reply-to; bh=1eg/fqxpXzJ3ahmRGZMh8cWitAYvnGbTkXIvIM8cFsE=; b=Vst070OBoCrpofND+92XktMJ18121hjDjnhxIklNJRGOMlqfR+wV90NyR//C6ddhDx c3bYi5fP24+bmUl9m4FUPF+10viEk6MhyV254wou4CMRVZj+bNK1qfzgfoob2oKxIsWq 5HRO/LRBe7dGPowCCmYIlmjEcUxMJA03YdO/VL6HqRaMXblWXIMIFaNjGr57BrYUDfYd 6rK5DNJVP/o04lMq55OjipeUlRWfinw61rwnhc5MHRRZ+CopGUqJGxe8EJbksdaOxJKq h7zwn6QJPGYdDLqUpg9Hln989GkEtN3Qw9cJXydw4/Ih+TgJsHPiMhE4R4N86MIvrbVn 6Jsw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1706616663; x=1707221463; h=content-transfer-encoding:mime-version:reply-to:references :in-reply-to:message-id:date:subject:cc:to:from:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=1eg/fqxpXzJ3ahmRGZMh8cWitAYvnGbTkXIvIM8cFsE=; b=Clrn92qnaYq9aCItMcNToAPo3jB2wQUWlVMtOI7NrMH++2gyeyNAorWc7V6T5/mKzg oMu3vROxNs6Uym8OI21nLnO7Szpe+j8d8/6qDHfRdpgQrYofFRLIZZLraArQMOITMtq1 1+f7Wna8N7CuDox+JydeDl61fLEmfrkCTuNbiemJQHgK5ldYBYdEe2YVaSGbpUvQwiQB aTlC0bFOHDuhvEBaRuhDZ2uUy0dQkzcv9olgnwZLmSD7kB9EH5TFVuVwVoAgv08znykl rXQCnAB7ysS0NCjBiDeNQf4a4vHDqyH3NuPlMyq6hvu9vHX7C3BG/dG6/DPt2tA1QAYN eFWA== X-Gm-Message-State: AOJu0Yyjb+wRZTBLgdlAwkLxK812b8xRgbnoV1ONRzGMYPoVnGADwc3l anlgS8ctFOaQ+0WbKfK8Y5KiYCVHy3DRUvZ9X5srePRk64Bogh+lMro5tpU05Bv1gLOQBNLYNDu lfg== X-Received: by 2002:a05:651c:1c9:b0:2d0:5985:1580 with SMTP id d9-20020a05651c01c900b002d059851580mr1426357ljn.6.1706616663253; Tue, 30 Jan 2024 04:11:03 -0800 (PST) Received: from platypus.localdomain ([62.23.166.218]) by smtp.gmail.com with ESMTPSA id f9-20020a056000036900b00339307d9d31sm10569894wrf.112.2024.01.30.04.11.02 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 30 Jan 2024 04:11:03 -0800 (PST) From: arthur.cohen@embecosm.com To: gcc-patches@gcc.gnu.org Cc: gcc-rust@gcc.gnu.org, Pierre-Emmanuel Patry Subject: [COMMITTED 018/101] gccrs: Reject auto traits with super trait Date: Tue, 30 Jan 2024 13:06:34 +0100 Message-ID: <20240130121026.807464-21-arthur.cohen@embecosm.com> X-Mailer: git-send-email 2.42.1 In-Reply-To: <20240130121026.807464-2-arthur.cohen@embecosm.com> References: <20240130121026.807464-2-arthur.cohen@embecosm.com> MIME-Version: 1.0 X-Spam-Status: No, score=-14.1 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, GIT_PATCH_0, RCVD_IN_DNSWL_NONE, SPF_HELO_NONE, SPF_PASS, TXREP, T_SCC_BODY_TEXT_LINE autolearn=unavailable autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.30 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-To: arthur.cohen@embecosm.com Errors-To: gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org X-getmail-retrieved-from-mailbox: INBOX X-GMAIL-THRID: 1789518120067323023 X-GMAIL-MSGID: 1789518120067323023 From: Pierre-Emmanuel Patry Reject auto traits containing a super trait bound during AST validation pass. gcc/rust/ChangeLog: * checks/errors/rust-ast-validation.cc (ASTValidation::visit): Reject auto traits with super traits. Signed-off-by: Pierre-Emmanuel Patry --- gcc/rust/checks/errors/rust-ast-validation.cc | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/gcc/rust/checks/errors/rust-ast-validation.cc b/gcc/rust/checks/errors/rust-ast-validation.cc index 37d3668a9e0..aeae6035db8 100644 --- a/gcc/rust/checks/errors/rust-ast-validation.cc +++ b/gcc/rust/checks/errors/rust-ast-validation.cc @@ -105,6 +105,10 @@ ASTValidation::visit (AST::Trait &trait) rust_error_at (trait.get_generic_params ()[0]->get_locus (), ErrorCode::E0567, "auto traits cannot have generic parameters"); + if (trait.has_type_param_bounds ()) + rust_error_at (trait.get_type_param_bounds ()[0]->get_locus (), + ErrorCode::E0568, + "auto traits cannot have super traits"); } AST::ContextualASTVisitor::visit (trait);