diff options
| author | Philip Herron <philip.herron@embecosm.com> | 2021-08-06 19:30:52 +0100 |
|---|---|---|
| committer | Philip Herron <philip.herron@embecosm.com> | 2021-08-06 19:35:16 +0100 |
| commit | c434e5fffc00ea1681e23f4e0cbc1dc2e28e8a6d (patch) | |
| tree | 09673c041f73a019b399a4adc57225bc54a43510 /gcc/rust/backend/rust-compile-resolve-path.cc | |
| parent | 41e3fb5d2018690243a38c79a60fcc32eb73b013 (diff) | |
| download | gcc-c434e5fffc00ea1681e23f4e0cbc1dc2e28e8a6d.zip gcc-c434e5fffc00ea1681e23f4e0cbc1dc2e28e8a6d.tar.gz gcc-c434e5fffc00ea1681e23f4e0cbc1dc2e28e8a6d.tar.bz2 | |
Add check for TypeBounds on argument substitutions
TypeParameters contain specified bounds, when we substitute them we need
to ensure that the argument satisfies those bounds otherwise... it fails
the contract.
This change only checks this specific case as a nice isolated PR to
demonstrate the mechanism's we require. Specified bounds are checked but
we must also probe for what bounds are available for the type.
Addreses #440
Diffstat (limited to 'gcc/rust/backend/rust-compile-resolve-path.cc')
0 files changed, 0 insertions, 0 deletions