]> gcc.gnu.org Git - gcc.git/commit
gccrs: Support fully qualified calls to trait items from CallExpr's
authorPhilip Herron <herron.philip@googlemail.com>
Tue, 4 Apr 2023 14:40:26 +0000 (15:40 +0100)
committerPhilip Herron <philip.herron@embecosm.com>
Wed, 5 Apr 2023 09:24:55 +0000 (09:24 +0000)
commit92b137048583c2c22c585097119dba6a5fe06228
treeaacc605e53a28780e6d4dd08ab9165c5890c3476
parent4d663acdb6e685c07818aa4229c7b1f2224d678b
gccrs: Support fully qualified calls to trait items from CallExpr's

Fixes #2070

gcc/rust/ChangeLog:

* backend/rust-compile-resolve-path.cc (HIRCompileBase::query_compile):
reuse resolve_method_address to monomorphize the call if required
* typecheck/rust-hir-type-check-path.cc (TypeCheckExpr::resolve_segments):
allow matching against unimplemented trait item bounds

gcc/testsuite/ChangeLog:

* rust/compile/issue-2070.rs: New test.

Signed-off-by: Philip Herron <herron.philip@googlemail.com>
gcc/rust/backend/rust-compile-resolve-path.cc
gcc/rust/typecheck/rust-hir-type-check-path.cc
gcc/testsuite/rust/compile/issue-2070.rs [new file with mode: 0644]
This page took 0.071041 seconds and 6 git commands to generate.