From patchwork Thu Aug 1 14:56:48 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Arthur Cohen X-Patchwork-Id: 1967772 Return-Path: X-Original-To: incoming@patchwork.ozlabs.org Delivered-To: patchwork-incoming@legolas.ozlabs.org Authentication-Results: legolas.ozlabs.org; dkim=pass (2048-bit key; unprotected) header.d=embecosm.com header.i=@embecosm.com header.a=rsa-sha256 header.s=google header.b=gBmYtlMP; dkim-atps=neutral Authentication-Results: legolas.ozlabs.org; spf=pass (sender SPF authorized) smtp.mailfrom=gcc.gnu.org (client-ip=8.43.85.97; helo=server2.sourceware.org; envelope-from=gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org; receiver=patchwork.ozlabs.org) Received: from server2.sourceware.org (server2.sourceware.org [8.43.85.97]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (secp384r1) server-digest SHA384) (No client certificate requested) by legolas.ozlabs.org (Postfix) with ESMTPS id 4WZXh24VFfz1yZv for ; Fri, 2 Aug 2024 01:19:46 +1000 (AEST) Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id B87B83860770 for ; Thu, 1 Aug 2024 15:19:44 +0000 (GMT) X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from mail-ed1-x531.google.com (mail-ed1-x531.google.com [IPv6:2a00:1450:4864:20::531]) by sourceware.org (Postfix) with ESMTPS id EF45B385C6E1 for ; Thu, 1 Aug 2024 14:59:13 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org EF45B385C6E1 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 EF45B385C6E1 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2a00:1450:4864:20::531 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1722524387; cv=none; b=Vstv9QcigUoATGa2jzNfsWYxYvyI+daVYcXlqiuvTkWiStbgrn0S26QK3Ybui2aMyLFdb8mLw7Bclsq8Z8XqIq6FUu7V5iC0F2ZBw68xmY8KHH3M7EEqHR06ExOhvkXhggzZwLaO3/8jbtsIfGfQ9Lg8gpPUBqCin571g2QOckM= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1722524387; c=relaxed/simple; bh=vf1up0vKKrR37HLfDQH/3BFQI20hpj8WByz8brQJgms=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=JBKNYD5fbQ8FJCb3Iy/OHZDcaZaQdKnfXs3lUUhmkeDcon+PbHPOo+sN3TYqNllniWfJdy7WnlSOhM62ue2Sj0EKpdcSWD0fVx8hFzKJQR20Kba1v66GMsSo6uFIozpw8z5IWLH8Kx4RG6/56lnT4e3IMBw++JPKd3KjNwwTfp4= ARC-Authentication-Results: i=1; server2.sourceware.org Received: by mail-ed1-x531.google.com with SMTP id 4fb4d7f45d1cf-5b214865fecso6004530a12.1 for ; Thu, 01 Aug 2024 07:59:13 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=embecosm.com; s=google; t=1722524352; x=1723129152; darn=gcc.gnu.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=Em2W2WIkjSbTs3pS4w0FAnu2GXLkZyR1daVfT2ZyIp8=; b=gBmYtlMPyVyb7RAprTMbFh8QKBjixOvRstz9G7guoJkvJh10apmucpNVOPVc0OJgvs FbvgXeL0Ox+4a3+ilWa2ViMDDv6qAthUGv3QlfiMfQ453pt7dCygn3qQCgL/JAr0DQfG b0cU1nMi/f79XMBSmRCR1T7wpwsJtBaXJCrhyeRCQvoDWaEJEbi4Aio4OP7Ra3gzMPGm id9VjuarOwBb8Y8H9DOL2rYiuwsWrc0zRAoFec7kX3/BRAtRemWq3Wqz0+4P1D2zwSa7 V8fH9+SwcSBcIWZfb3gmRYkHTxI6HrcK7Ac+rUmSo4SoFAAoizKDj9Bvch9bDcq/zc9k zlaA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1722524352; x=1723129152; h=content-transfer-encoding:mime-version: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=Em2W2WIkjSbTs3pS4w0FAnu2GXLkZyR1daVfT2ZyIp8=; b=hfMW/iro+vfpPIpjobQSAxoRkao53wstBYk1IigewWnqeTHPoDc7t5/+JopOXcOZkF dNH1SBOa2rkeJs41xqBnrViPswDgEVw4xFIjyMTEALIwZhUNGIoNZZ06+XjYXwFVTrf5 t4uKJebB0WTvU4s6rn1FJApx/BnEN9Aa8NANwK4E4nZlShu0JnXoQ5CK5ezI7pfGf5gl PbxdPWYpKEmzo8QA9syO3MqwOc9zM4yhTg7sbtovILhmQ0aN5LRaIi3864uFfycfdmpH YFUsnag6HxEe9V8Iq51orEo3hPV//db8RSHSg0GJU/zU9FdW+7m+0HnYceEmez6+/x5d q06A== X-Gm-Message-State: AOJu0YzVxmK0+zb6wXk49xyZ7fUS5CK1aAzRXU0mgWA0rQj53FgEp7AY HMEWI7VN6SFbrMJrPWF40mttRpvV7C/CdtKKK50S+j4r1C8KvUl3nthv53seIxGKNwuS0WRubab ZPO9m X-Google-Smtp-Source: AGHT+IFtoAFZePPFVC1Kui0+1ed+5XKUdg5t02hFKunlOflofrKaBji9QofOM6pF3MMNgr0FWqDDLg== X-Received: by 2002:a50:fe99:0:b0:5a2:abcb:c4cf with SMTP id 4fb4d7f45d1cf-5b7f4294f19mr479873a12.22.1722524352463; Thu, 01 Aug 2024 07:59:12 -0700 (PDT) Received: from platypus.lan ([2a04:cec2:9:dc84:3622:6733:ff49:ee91]) by smtp.gmail.com with ESMTPSA id 4fb4d7f45d1cf-5ac63590592sm10252456a12.25.2024.08.01.07.59.12 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 01 Aug 2024 07:59:12 -0700 (PDT) From: Arthur Cohen To: gcc-patches@gcc.gnu.org Cc: gcc-rust@gcc.gnu.org, Jakub Dupak Subject: [PATCH 052/125] gccrs: TyTy: add common SubstitutionRef API Date: Thu, 1 Aug 2024 16:56:48 +0200 Message-ID: <20240801145809.366388-54-arthur.cohen@embecosm.com> X-Mailer: git-send-email 2.45.2 In-Reply-To: <20240801145809.366388-2-arthur.cohen@embecosm.com> References: <20240801145809.366388-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 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: , Errors-To: gcc-patches-bounces~incoming=patchwork.ozlabs.org@gcc.gnu.org From: Jakub Dupak gcc/rust/ChangeLog: * typecheck/rust-tyty-subst.cc (SubstitutionRef::get_arg_at): Add unified API. Signed-off-by: Jakub Dupak --- gcc/rust/typecheck/rust-tyty-subst.cc | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/gcc/rust/typecheck/rust-tyty-subst.cc b/gcc/rust/typecheck/rust-tyty-subst.cc index 5a753566d48..71d41d6f796 100644 --- a/gcc/rust/typecheck/rust-tyty-subst.cc +++ b/gcc/rust/typecheck/rust-tyty-subst.cc @@ -589,6 +589,17 @@ SubstitutionRef::get_used_arguments () const return used_arguments; } +tl::optional +SubstitutionRef::get_arg_at (size_t i) const +{ + auto param_ty = get_substs ().at (i).get_param_ty (); + SubstitutionArg arg = SubstitutionArg::error (); + get_used_arguments ().get_argument_for_symbol (param_ty, &arg); + if (arg.is_error ()) + return tl::nullopt; + return arg; +} + const RegionConstraints & SubstitutionRef::get_region_constraints () const {