Error when casting mut to const pointer

[maximebuyse]

use std::ptr::NonNull;


pub fn g(x: * const i32) -> i32 {
    1
}


unsafe fn f(x: NonNull<i32>) -> i32 {
    g(x.as_ptr())
}

Open this code snippet in the playground

This gives:

error: [HAX0002] (AST import) Fatal error: something we considered as impossible occurred! Please report this by submitting an issue on GitHub!
Details: Pointer, with [cast] being Types.MutToConstPointer
  --> src/lib.rs:10:7
   |
10 |     g(x.as_ptr())

and

error: [HAX0002] (RefMut) Fatal error: something we considered as impossible occurred! Please report this by submitting an issue on GitHub!
Details: expected an arrow type here
  --> src/lib.rs:10:1
   |
10 |     g(x.as_ptr())

I also found the same kind of error with Details: Pointer, with [cast] being Types.UnsafeFnPointer

[W95Psp]

Thanks, that's the engine side of #1057 I believe!

[Nadrieril]

There are no constants involved here though