diff options
| author | Philip Herron <herron.philip@googlemail.com> | 2023-02-04 22:53:48 +0000 |
|---|---|---|
| committer | Philip Herron <herron.philip@googlemail.com> | 2023-02-05 00:10:49 +0000 |
| commit | 6d7a7b22882433d46bf4e4efe8c43343892c91eb (patch) | |
| tree | 61ffb34ee7ae6c32d2545dd27146fab5a8e44833 /gcc/rust/backend/rust-compile-pattern.cc | |
| parent | 1b0794c172c4e60ee4cd7f2fd3a2426997b1d0a1 (diff) | |
| download | gcc-6d7a7b22882433d46bf4e4efe8c43343892c91eb.zip gcc-6d7a7b22882433d46bf4e4efe8c43343892c91eb.tar.gz gcc-6d7a7b22882433d46bf4e4efe8c43343892c91eb.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/backend/rust-compile-pattern.cc')
0 files changed, 0 insertions, 0 deletions