diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2022-10-14 08:52:42 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-14 08:52:42 +0000 |
| commit | 84ca2f9123a7d5206d70d5b3bdc18d98c0cee2e0 (patch) | |
| tree | c50d4b20e0730f9cebd314d22fe187c33b635355 /gcc/rust/backend | |
| parent | 8cbcff46d34c998239dfa1792fe7459699658c62 (diff) | |
| parent | 32e45c4076c6eed1a632498844c4f1189b4576d1 (diff) | |
| download | gcc-84ca2f9123a7d5206d70d5b3bdc18d98c0cee2e0.zip gcc-84ca2f9123a7d5206d70d5b3bdc18d98c0cee2e0.tar.gz gcc-84ca2f9123a7d5206d70d5b3bdc18d98c0cee2e0.tar.bz2 | |
Merge #1583
1583: Support type resolution on super traits on dyn objects r=philberty a=philberty
When checking if specified bounds satisfy other bounds we must lookup the super traits. To finish the support for super traits we need to redo the computation of method addresses to support super traits.
Addresses #914
Co-authored-by: Philip Herron <philip.herron@embecosm.com>
Diffstat (limited to 'gcc/rust/backend')
| -rw-r--r-- | gcc/rust/backend/rust-compile.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/rust/backend/rust-compile.cc b/gcc/rust/backend/rust-compile.cc index 0ccb98d..0c72a16 100644 --- a/gcc/rust/backend/rust-compile.cc +++ b/gcc/rust/backend/rust-compile.cc @@ -247,6 +247,8 @@ HIRCompileBase::compute_address_for_trait_item ( // Algo: // check if there is an impl-item for this trait-item-ref first // else assert that the trait-item-ref has an implementation + // + // FIXME this does not support super traits TyTy::TypeBoundPredicateItem predicate_item = predicate->lookup_associated_item (ref->get_identifier ()); |