From 644e40f536840d3bab28cab985a034eabbf707d4 Mon Sep 17 00:00:00 2001 From: Camille GILLOT Date: Sun, 14 May 2023 13:27:07 +0000 Subject: [PATCH] Do not assume anything about repeated reification of generic functions. --- src/tools/miri/tests/pass/function_pointers.rs | 1 - 1 file changed, 1 deletion(-) 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 {