]> git.ipfire.org Git - thirdparty/gcc.git/commit
gccrs: tychk: Add more support for additional trait bounds in functions
authorArthur Cohen <arthur.cohen@embecosm.com>
Wed, 25 Dec 2024 18:13:43 +0000 (18:13 +0000)
committerArthur Cohen <arthur.cohen@embecosm.com>
Fri, 21 Mar 2025 11:55:44 +0000 (12:55 +0100)
commit161b9e9828b84b75f64aa0ffdadcefe920c1ed0d
tree2dd6f061cdd0e2c4f82adc2fc41e732b9c08d13a
parentcd8547f85e53b42eff5a7c7572b466c023c75daf
gccrs: tychk: Add more support for additional trait bounds in functions

This commit correctly lowers and typechecks parenthesized types, which are used for trait objects with additional bounds.

gcc/rust/ChangeLog:

* resolve/rust-ast-resolve-type.cc (ResolveType::visit): New visitor to handle
ParenthesizedType.
* resolve/rust-ast-resolve-type.h: Likewise.
* typecheck/rust-hir-type-check-type.cc (TypeCheckType::visit): Likewise.
* typecheck/rust-hir-type-check-type.h: Likewise.

gcc/testsuite/ChangeLog:

* rust/compile/auto_traits2.rs: New test.
* rust/compile/auto_traits3.rs: New test.
* rust/compile/nr2/exclude: Add auto_traits2 test.
gcc/rust/resolve/rust-ast-resolve-type.cc
gcc/rust/resolve/rust-ast-resolve-type.h
gcc/rust/typecheck/rust-hir-type-check-type.cc
gcc/rust/typecheck/rust-hir-type-check-type.h
gcc/testsuite/rust/compile/auto_traits2.rs [new file with mode: 0644]
gcc/testsuite/rust/compile/auto_traits3.rs [new file with mode: 0644]
gcc/testsuite/rust/compile/nr2/exclude