This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch devel/rust/master in repository gcc.
from cecd314884a Merge #1521 new af3b5be6c99 Cleanup formatting of backend expression visitor new 3a24dde2e7a Make constexpr constructors type-checking more permissive new 770a2449e8e Fix duplicated function generation on higher ranked trait bounds new 96c8baa8a7a Refactor TypeResolution to be a simple query based system new 6cae31a09ec Add testcase to show forward declared items work new b37c71dd77d Add testcase to show forward declared items work via TypeAlias new b17e69852ea Fix missing dead code analysis ICE on local enum definition new b71e3dc02a8 Merge #1545
The 8 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference.
Summary of changes: gcc/rust/Make-lang.in | 2 +- gcc/rust/backend/rust-compile-context.h | 21 +- gcc/rust/backend/rust-compile-expr.h | 17 +- gcc/rust/backend/rust-compile-item.cc | 14 +- gcc/rust/backend/rust-constexpr.cc | 16 +- gcc/rust/checks/lints/rust-lint-marklive.cc | 7 +- gcc/rust/resolve/rust-name-resolver.cc | 20 + gcc/rust/resolve/rust-name-resolver.h | 6 + gcc/rust/typecheck/rust-hir-dot-operator.cc | 8 +- gcc/rust/typecheck/rust-hir-dot-operator.h | 6 +- .../rust-hir-path-probe.cc} | 24 +- gcc/rust/typecheck/rust-hir-path-probe.h | 24 +- gcc/rust/typecheck/rust-hir-type-check-base.cc | 76 +++ gcc/rust/typecheck/rust-hir-type-check-base.h | 2 + gcc/rust/typecheck/rust-hir-type-check-expr.cc | 3 + gcc/rust/typecheck/rust-hir-type-check-implitem.cc | 181 +++---- gcc/rust/typecheck/rust-hir-type-check-implitem.h | 42 +- gcc/rust/typecheck/rust-hir-type-check-item.cc | 554 +++++++++++++++++---- gcc/rust/typecheck/rust-hir-type-check-item.h | 47 +- gcc/rust/typecheck/rust-hir-type-check-path.cc | 9 +- gcc/rust/typecheck/rust-hir-type-check-stmt.cc | 387 ++------------ gcc/rust/typecheck/rust-hir-type-check-stmt.h | 62 +-- gcc/rust/typecheck/rust-hir-type-check-toplevel.cc | 378 -------------- gcc/rust/typecheck/rust-hir-type-check-toplevel.h | 56 --- gcc/rust/typecheck/rust-hir-type-check-type.cc | 110 ++-- gcc/rust/typecheck/rust-hir-type-check.cc | 9 +- gcc/rust/typecheck/rust-hir-type-check.h | 41 ++ gcc/rust/typecheck/rust-substitution-mapper.h | 2 +- gcc/rust/typecheck/rust-tyty-bounds.cc | 24 +- gcc/rust/typecheck/rust-tyty-cmp.h | 2 + gcc/rust/typecheck/rust-tyty.cc | 45 +- gcc/rust/typecheck/rust-tyty.h | 34 +- gcc/rust/util/rust-hir-map.cc | 13 + gcc/rust/util/rust-hir-map.h | 2 + gcc/testsuite/rust/compile/const_generics_5.rs | 13 +- gcc/testsuite/rust/compile/issue-1006.rs | 10 + gcc/testsuite/rust/compile/issue-1073.rs | 4 + gcc/testsuite/rust/compile/issue-1272.rs | 8 + .../rust/compile/unconstrained_type_param.rs | 2 + 39 files changed, 1028 insertions(+), 1253 deletions(-) copy gcc/rust/{resolve/rust-ast-resolve-stmt.cc => typecheck/rust-hir-path-probe.c [...] delete mode 100644 gcc/rust/typecheck/rust-hir-type-check-toplevel.cc delete mode 100644 gcc/rust/typecheck/rust-hir-type-check-toplevel.h create mode 100644 gcc/testsuite/rust/compile/issue-1006.rs create mode 100644 gcc/testsuite/rust/compile/issue-1073.rs create mode 100644 gcc/testsuite/rust/compile/issue-1272.rs