]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 72c8362) | patch
gccrs: Fix bug with bad type bindings not looking at super traits
authorPhilip Herron <herron.philip@googlemail.com>
Sat, 21 Jun 2025 13:58:49 +0000 (14:58 +0100)
committerArthur Cohen <arthur.cohen@embecosm.com>
Tue, 5 Aug 2025 14:36:50 +0000 (16:36 +0200)
commit8ddeba50f47ec645eddf03d3fd9824acbf410c0a
tree2c3143c14b26f1bbbe78ddcaa5e32e7c516b281atree
parent72c83626309b40ce327350d1ddf70bcf998a26c7commit | diff
gccrs: Fix bug with bad type bindings not looking at super traits

When resolving type bounds, we need to examine super traits to properly
determine if type bindings are valid in the current context.

gcc/rust/ChangeLog:

* typecheck/rust-tyty-bounds.cc: Check super traits for type bindings.
* typecheck/rust-tyty.h: Add helper methods for bound checking.
gcc/rust/typecheck/rust-tyty-bounds.cc diff | blob | blame | history
gcc/rust/typecheck/rust-tyty.h diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git