diff options
| author | Ralf Jung <post@ralfj.de> | 2025-07-28 08:42:04 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2025-07-28 08:45:25 +0200 |
| commit | dea3e131d53eccd46703a304d942778b5c6edef6 (patch) | |
| tree | aa6ef95360aa10acfbd64d92c17755baa0796f9c /src/tools/miri/tests/fail/function_pointers | |
| parent | 8bf32513ed5aae90068d592c7de314a75ba8e0af (diff) | |
| download | rust-dea3e131d53eccd46703a304d942778b5c6edef6.tar.gz rust-dea3e131d53eccd46703a304d942778b5c6edef6.zip | |
revert accidental change
Diffstat (limited to 'src/tools/miri/tests/fail/function_pointers')
| -rw-r--r-- | src/tools/miri/tests/fail/function_pointers/abi_mismatch_return_type.stderr | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/tools/miri/tests/fail/function_pointers/abi_mismatch_return_type.stderr b/src/tools/miri/tests/fail/function_pointers/abi_mismatch_return_type.stderr index 07e6561b53e..28c676ad482 100644 --- a/src/tools/miri/tests/fail/function_pointers/abi_mismatch_return_type.stderr +++ b/src/tools/miri/tests/fail/function_pointers/abi_mismatch_return_type.stderr @@ -6,6 +6,8 @@ LL | g() | = help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior = help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information + = help: this means these two types are not *guaranteed* to be ABI-compatible across all targets + = help: if you think this code should be accepted anyway, please report an issue with Miri = note: BACKTRACE: = note: inside `main` at tests/fail/function_pointers/abi_mismatch_return_type.rs:LL:CC |