diff options
| author | The Miri Conjob Bot <miri@cron.bot> | 2023-08-31 05:40:49 +0000 |
|---|---|---|
| committer | The Miri Conjob Bot <miri@cron.bot> | 2023-08-31 05:40:49 +0000 |
| commit | 31d9ac14f52c88fbec16a12787e23a7f5ba671cf (patch) | |
| tree | 6a886a36309aecfd5d3712a24e51bc28f8197917 /src/tools/miri/tests/fail | |
| parent | 4b915b8a86df64e6758b6cc329d83d5fe635f21d (diff) | |
| parent | 8cbd2c847b682a3ce460a79fa7576ee2eb461a00 (diff) | |
| download | rust-31d9ac14f52c88fbec16a12787e23a7f5ba671cf.tar.gz rust-31d9ac14f52c88fbec16a12787e23a7f5ba671cf.zip | |
Merge from rustc
Diffstat (limited to 'src/tools/miri/tests/fail')
| -rw-r--r-- | src/tools/miri/tests/fail/type-too-large.rs | 2 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail/unsized-local.stderr | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/miri/tests/fail/type-too-large.rs b/src/tools/miri/tests/fail/type-too-large.rs index 21b272f8ec3..81ecc6145d7 100644 --- a/src/tools/miri/tests/fail/type-too-large.rs +++ b/src/tools/miri/tests/fail/type-too-large.rs @@ -1,6 +1,6 @@ //@ignore-32bit fn main() { - let _fat: [u8; (1 << 61) + (1 << 31)]; + let _fat: [u8; (1 << 61) + (1 << 31)]; // ideally we'd error here, but we avoid computing the layout until absolutely necessary _fat = [0; (1u64 << 61) as usize + (1u64 << 31) as usize]; //~ ERROR: post-monomorphization error } diff --git a/src/tools/miri/tests/fail/unsized-local.stderr b/src/tools/miri/tests/fail/unsized-local.stderr index 66d93c6f503..07f94f3b91b 100644 --- a/src/tools/miri/tests/fail/unsized-local.stderr +++ b/src/tools/miri/tests/fail/unsized-local.stderr @@ -2,7 +2,7 @@ error: unsupported operation: unsized locals are not supported --> $DIR/unsized-local.rs:LL:CC | LL | let x = *(Box::new(A) as Box<dyn Foo>); - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ unsized locals are not supported + | ^ unsized locals are not supported | = help: this is likely not a bug in the program; it indicates that the program performed an operation that the interpreter does not support = note: BACKTRACE: |