diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-11-05 11:38:05 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-05 11:38:05 +0000 |
| commit | e73922ef9f07c511c383cc37532d0324a1138d99 (patch) | |
| tree | cbb57b666f3a9907175d710134d6783f130e7049 /gcc/rust/resolve/rust-ast-resolve.cc | |
| parent | 8e992e371bbd896c8b605e1ebade5cad80b1b411 (diff) | |
| parent | f4c200fcfec75b3841640263609d2133ead0c518 (diff) | |
| download | gcc-e73922ef9f07c511c383cc37532d0324a1138d99.zip gcc-e73922ef9f07c511c383cc37532d0324a1138d99.tar.gz gcc-e73922ef9f07c511c383cc37532d0324a1138d99.tar.bz2 | |
Merge #794
794: Fix unhandled type bounds in TypeAlias r=philberty a=philberty
This adds support for trait-object-types and desugars HIR::TraitObjectTypeOneBound into a single
HIR::TraitObjectType. This also adds the missing cases of the generic arguments to the TypeBoundPredicates.
It also contains cleanup for helpers used during monomorphization and a recursion limiter which is likely set too
low but it is good enough for the test-cases we have now to get good back-traces.
Fixes #786
Co-authored-by: Philip Herron <philip.herron@embecosm.com>
Diffstat (limited to 'gcc/rust/resolve/rust-ast-resolve.cc')
| -rw-r--r-- | gcc/rust/resolve/rust-ast-resolve.cc | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/gcc/rust/resolve/rust-ast-resolve.cc b/gcc/rust/resolve/rust-ast-resolve.cc index 83a15a8..af04aeb 100644 --- a/gcc/rust/resolve/rust-ast-resolve.cc +++ b/gcc/rust/resolve/rust-ast-resolve.cc @@ -726,6 +726,17 @@ ResolveType::visit (AST::TraitObjectTypeOneBound &type) ok = bound_resolved_id != UNKNOWN_NODEID; } +void +ResolveType::visit (AST::TraitObjectType &type) +{ + ok = true; + for (auto &bound : type.get_type_param_bounds ()) + { + /* NodeId bound_resolved_id = */ + ResolveTypeBound::go (bound.get (), type.get_node_id ()); + } +} + // rust-ast-resolve-item.h void |