Pointers are coerceable

[philberty]

I tried this code: https://godbolt.org/z/aE71GeqjK

 mod intrinsics {
    extern "rust-intrinsic" {
        pub fn offset<T>(ptr: *const T, count: isize) -> *const T;
    }
}
 
 mod ptr{
    #[lang = "const_ptr"]
    impl<T> *const T {
        pub unsafe fn offset(self, count: isize) -> *const T {
            intrinsics::offset(self, count)
        }
    }
}

fn test(x: *mut u8) {
    x.offset(1);
}

I expected to see this happen: compile without error

Instead, this happened:

<source>:17:7: error: failed to resolve method for 'offset'
   17 |     x.offset(1);
      |       ^~~~~~
<source>:17:5: error: failed to type resolve expression
   17 |     x.offset(1);
      |     ^

Meta

• What version of Rust GCC were you using, git sha if possible. d6e33ad