diff options
| author | Philip Herron <philip.herron@embecosm.com> | 2021-10-20 16:24:04 +0100 |
|---|---|---|
| committer | Philip Herron <philip.herron@embecosm.com> | 2021-10-22 10:49:37 +0100 |
| commit | ef70f0310a6739727ee97cd4f996f8938b0e6a1d (patch) | |
| tree | c46d447751f32189be20a50db6d13d357c1e65a5 /gcc | |
| parent | 7d988344f74681b0fa97ada77e8390c8e4d69147 (diff) | |
| download | gcc-ef70f0310a6739727ee97cd4f996f8938b0e6a1d.zip gcc-ef70f0310a6739727ee97cd4f996f8938b0e6a1d.tar.gz gcc-ef70f0310a6739727ee97cd4f996f8938b0e6a1d.tar.bz2 | |
Add FIXME comment for inheriting bounds
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/rust/typecheck/rust-tyty.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/rust/typecheck/rust-tyty.cc b/gcc/rust/typecheck/rust-tyty.cc index 232799b..1f8321b 100644 --- a/gcc/rust/typecheck/rust-tyty.cc +++ b/gcc/rust/typecheck/rust-tyty.cc @@ -108,6 +108,9 @@ void BaseType::inherit_bounds ( const std::vector<TyTy::TypeBoundPredicate> &specified_bounds) { + // FIXME + // 1. This needs to union the bounds + // 2. Do some checking for trait polarity to ensure compatibility for (auto &bound : specified_bounds) { add_bound (bound); |