diff options
| author | Philip Herron <herron.philip@googlemail.com> | 2023-02-04 22:53:48 +0000 |
|---|---|---|
| committer | Arthur Cohen <arthur.cohen@embecosm.com> | 2023-04-06 10:47:21 +0200 |
| commit | eb4a61ac1babffaa03d837d32a1107ea93e85e48 (patch) | |
| tree | 4bf814557c3220af75a6ec9869b490d55a02bf5f /gcc/rust/resolve | |
| parent | 11150b7c05c06b5885bfc95045699baf5e5d2a34 (diff) | |
| download | gcc-eb4a61ac1babffaa03d837d32a1107ea93e85e48.zip gcc-eb4a61ac1babffaa03d837d32a1107ea93e85e48.tar.gz gcc-eb4a61ac1babffaa03d837d32a1107ea93e85e48.tar.bz2 | |
gccrs: Add general TypeBounds checks
Existing tests are updated to use libcore copy and clone implementation.
Addresses #1725
Signed-off-by: Philip Herron <herron.philip@googlemail.com>
gcc/rust/ChangeLog:
* typecheck/rust-unify.cc (UnifyRules::go): ensure the bounds are checked
gcc/testsuite/ChangeLog:
* rust/compile/torture/intrinsics-4.rs: implement Copy trait
* rust/compile/torture/intrinsics-5.rs: likewise
* rust/execute/torture/atomic_load.rs: likewise
* rust/execute/torture/atomic_store.rs: likewise
* rust/bounds1.rs: New test.
Diffstat (limited to 'gcc/rust/resolve')
0 files changed, 0 insertions, 0 deletions