fn ptr_eq<T, U>(t: *const T, u: *const U) -> bool