mozilla/rust — pull request #12167 by JeremyLetang (2014-02-10 22:10:12+00:00)
Title: Remove duplicate function in std::ptr with std::ptr::RawPtr

This pull request remove the functions `std::ptr::{offset, mut_offset, is_null, is_not_null}`, which are duplicate with the corresponding methods in `std::ptr::RawPtr`.

I don't know if these changes are acceptable / needed, but if it is, maybe we can remove `std::ptr::{null, mut_null}`, to use only `std::ptr::RawPtr::null`