diff options
| author | Philip Herron <herron.philip@googlemail.com> | 2025-02-13 14:09:17 +0000 |
|---|---|---|
| committer | Philip Herron <philip.herron@embecosm.com> | 2025-02-13 16:29:10 +0000 |
| commit | 5f7213e82064b3b6220a62e103eb361c0428d2d1 (patch) | |
| tree | ada6af4fb8932c4cb995b179bae5f7f2dc474776 /gcc/tree-ssa-phiopt.cc | |
| parent | c005754701addc8a08fd1ed8381826ccbd92e83e (diff) | |
| download | gcc-5f7213e82064b3b6220a62e103eb361c0428d2d1.zip gcc-5f7213e82064b3b6220a62e103eb361c0428d2d1.tar.gz gcc-5f7213e82064b3b6220a62e103eb361c0428d2d1.tar.bz2 | |
gccrs: fix unconstrained generics check to handle recursive generics
Generics can be constrained within other generic types so this check needs
to be recursive.
Fixes Rust-GCC#3031
gcc/rust/ChangeLog:
* typecheck/rust-hir-type-check-base.cc (walk_types_to_constrain): recursive walker
* typecheck/rust-tyty.cc (BaseType::get_subst_argument_mappings): new helper
* typecheck/rust-tyty.h: prototype
gcc/testsuite/ChangeLog:
* rust/compile/issue-3031.rs: New test.
Signed-off-by: Philip Herron <herron.philip@googlemail.com>
Diffstat (limited to 'gcc/tree-ssa-phiopt.cc')
0 files changed, 0 insertions, 0 deletions