]> git.ipfire.org Git - thirdparty/gcc.git/commit
gccrs: Track associated type generics
authorPhilip Herron <herron.philip@googlemail.com>
Thu, 29 Jun 2023 09:13:29 +0000 (10:13 +0100)
committerArthur Cohen <arthur.cohen@embecosm.com>
Tue, 16 Jan 2024 17:46:32 +0000 (18:46 +0100)
commitdf7f3413385b5e4b90b1da5058b9fae4b891224c
tree85ac98ed90a773fb66ce80929872e8ec59870c41
parent671517fc2e28d7b3f8caa2d2d1b26365285d3d99
gccrs: Track associated type generics

This fixes an issue with our qualified type-paths if we point to a generic
associated type this needs to either use the placeholder type on the trait
reference or use the impl-type but apply the generics.

gcc/rust/ChangeLog:

* typecheck/rust-hir-trait-reference.h: update prototype
* typecheck/rust-hir-trait-resolve.cc: add generic args as an out param
* typecheck/rust-hir-type-check-type.cc (TypeCheckType::visit): use the generics

Signed-off-by: Philip Herron <herron.philip@googlemail.com>
gcc/rust/typecheck/rust-hir-trait-reference.h
gcc/rust/typecheck/rust-hir-trait-resolve.cc
gcc/rust/typecheck/rust-hir-type-check-type.cc