mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Do not assume anything about repeated reification of generic functions.

Browse Source
This commit is contained in:
Camille GILLOT 2023-05-14 13:27:07 +00:00
parent db50bd96e5
commit 644e40f536
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/tools/miri/tests/pass/function_pointers.rs
View File

@ -75,7 +75,6 @@ fn main() {
let g = f as fn() -> i32; let g = f as fn() -> i32;
assert!(return_fn_ptr(g) == g); 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(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. // Any non-null value is okay for function pointers.
unsafe { unsafe {