fill in missing impls for pointer casts