diff options
| author | Philip Herron <philip.herron@embecosm.com> | 2021-09-06 10:31:05 +0100 |
|---|---|---|
| committer | Philip Herron <philip.herron@embecosm.com> | 2021-09-09 15:43:53 +0100 |
| commit | 49c9a88b3e3b0f8890c26a6fe0d553a86b127f5f (patch) | |
| tree | 8c76bb76e52964078c9a63add27469780585d4c5 | |
| parent | 55f60bd6fe2db6831762e243577515824e2fca5c (diff) | |
| download | gcc-49c9a88b3e3b0f8890c26a6fe0d553a86b127f5f.zip gcc-49c9a88b3e3b0f8890c26a6fe0d553a86b127f5f.tar.gz gcc-49c9a88b3e3b0f8890c26a6fe0d553a86b127f5f.tar.bz2 | |
type-bounds wip
| -rw-r--r-- | gcc/rust/typecheck/rust-hir-trait-resolve.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/rust/typecheck/rust-hir-trait-resolve.h b/gcc/rust/typecheck/rust-hir-trait-resolve.h index 365994f..49aa2fa 100644 --- a/gcc/rust/typecheck/rust-hir-trait-resolve.h +++ b/gcc/rust/typecheck/rust-hir-trait-resolve.h @@ -113,6 +113,10 @@ private: return tref; } + // Check if there is a super-trait, and apply this bound to the Self + // TypeParam + // FIXME + TyTy::BaseType *self = nullptr; std::vector<TyTy::SubstitutionParamMapping> substitutions; for (auto &generic_param : trait_reference->get_generic_params ()) |