diff options
| author | Camille GILLOT <gillot.camille@gmail.com> | 2023-05-14 13:27:07 +0000 |
|---|---|---|
| committer | Camille GILLOT <gillot.camille@gmail.com> | 2023-09-24 09:09:04 +0000 |
| commit | 644e40f536840d3bab28cab985a034eabbf707d4 (patch) | |
| tree | d731659289dab4a0be47d19f183f4ea2ed2d76f5 /src | |
| parent | db50bd96e50cc7debb1734e1f6d5318f5e0b3095 (diff) | |
| download | rust-644e40f536840d3bab28cab985a034eabbf707d4.tar.gz rust-644e40f536840d3bab28cab985a034eabbf707d4.zip | |
Do not assume anything about repeated reification of generic functions.
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/miri/tests/pass/function_pointers.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/tools/miri/tests/pass/function_pointers.rs b/src/tools/miri/tests/pass/function_pointers.rs index b66826e3fcd..593012ca45b 100644 --- a/src/tools/miri/tests/pass/function_pointers.rs +++ b/src/tools/miri/tests/pass/function_pointers.rs @@ -75,7 +75,6 @@ fn main() { let g = f as fn() -> i32; assert!(return_fn_ptr(g) == g); assert!(return_fn_ptr(g) as unsafe fn() -> i32 == g as fn() -> i32 as unsafe fn() -> i32); - assert!(return_fn_ptr(f) != f); // Any non-null value is okay for function pointers. unsafe { |