From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1643) id E0A3B385802D; Wed, 5 Oct 2022 19:45:24 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org E0A3B385802D DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1664999124; bh=zhApD9ppAWF6Ii0qU0IPalsLgXGom604a/EAwyAt7O0=; h=From:To:Subject:Date:From; b=twiR+t5L1DGUmqSXh9rjkCYJuUuF8lVihhhnLk5tC5242ewa8EIQ2mD+mIyK7seVL /iQoO80zr4HuT93bauPm7HXFmB7+QCUhPYjMJFn4jnLJfVRruLUKmvMdRrzggG0VAj qSXCon6ZMsFqd5iKazKgMX3wAaMF8abfsP9Ii09k= 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] Merge #1551 X-Act-Checkin: gcc X-Git-Author: bors[bot] <26634292+bors[bot]@users.noreply.github.com> X-Git-Refname: refs/heads/devel/rust/master X-Git-Oldrev: 9b1ba11b0b2f873b85dfc7643fe778e974e874b8 X-Git-Newrev: 8ff035ddc55079161d24941785114aa0f5056260 Message-Id: <20221005194524.E0A3B385802D@sourceware.org> Date: Wed, 5 Oct 2022 19:45:24 +0000 (GMT) List-Id: https://gcc.gnu.org/g:8ff035ddc55079161d24941785114aa0f5056260 commit 8ff035ddc55079161d24941785114aa0f5056260 Merge: 9b1ba11b0b2 d1069815fa6 Author: bors[bot] <26634292+bors[bot]@users.noreply.github.com> Date: Fri Sep 30 15:02:32 2022 +0000 Merge #1551 1551: Add catch for recusive type queries r=philberty a=philberty When we have a type query where by generic substitution occurs we can hit the case where we need to Probe the bounds of the substited item to determine whether the the bounds are compatible this can cause us to end up querying the same type recursively. Fixes #1550 Co-authored-by: Philip Herron Diff: gcc/rust/typecheck/rust-hir-type-check-base.cc | 10 ++++++++++ gcc/rust/typecheck/rust-hir-type-check.h | 12 ++++++++++++ gcc/rust/typecheck/rust-tyty-bounds.cc | 5 +++-- 3 files changed, 25 insertions(+), 2 deletions(-)