diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-08-08 22:22:21 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-08 22:22:21 +0000 |
| commit | 5e723d0b7a85d109f01196b264a25823e77496e1 (patch) | |
| tree | 33b8a34539ea3121c5f27ba1e44640f552f52a64 /gcc/rust/resolve/rust-ast-resolve.cc | |
| parent | fa2aec10e60592348e1640b5bda0507b1324f235 (diff) | |
| parent | 72483b1ca912dca78543f5cc2a7e9d1380ef5784 (diff) | |
| download | gcc-5e723d0b7a85d109f01196b264a25823e77496e1.zip gcc-5e723d0b7a85d109f01196b264a25823e77496e1.tar.gz gcc-5e723d0b7a85d109f01196b264a25823e77496e1.tar.bz2 | |
Merge #611
611: Add check for TypeBounds on argument substitutions r=philberty a=philberty
TypeParameters contain specified bounds, when we substitute them we need
to ensure that the argument satisfies those bounds otherwise... it fails
the contract.
Addreses #440
Co-authored-by: Philip Herron <philip.herron@embecosm.com>
Diffstat (limited to 'gcc/rust/resolve/rust-ast-resolve.cc')
0 files changed, 0 insertions, 0 deletions