using element_type = see below;
Type: Ptr::element_type если qualified-id Ptr::element_type действительный и обозначает тип ([temp.deduct]); в противном случае, T if Ptr является экземпляром формы шаблона класса SomePointer<T, Args>, где Args - ноль или более аргументов типа; в противном случае специализация сформирована неправильно.
using difference_type = see below;
Type: Ptr::difference_type если qualified-id Ptr::difference_type действительный и обозначает тип ([temp.deduct]); в противном случае ptrdiff_t.
template <class U> using rebind = see below;
Alias template: Ptr::rebind<U> если qualified-id Ptr::rebind<U> действительный и обозначает тип ([temp.deduct]); в противном случае, SomePointer<U, Args> if Ptr является экземпляром формы шаблона класса SomePointer<T, Args>, где Args - ноль или более аргументов типа; в противном случае создание экземпляра rebind будет некорректным.