Proposed resolution:

This wording is relative to n4944.

1. Add the following bullet before [unique.ptr.single.observers] paragraph 1:

   
   constexpr add_lvalue_reference_t<T> operator*() const noexcept(noexcept(*declval<pointer>()));
   

   -1- Preconditions: get() != nullptr.

   -2- Returns Effects: Equivalent to: return *get();.

2. Add the following bullet before [unique.ptr.runtime.observers] paragraph 1:

   
   constexpr T& operator[](size_t i) const;
   

   -1- Preconditions: get() != nullptr i < the number of elements in the array to which the stored pointer points.

   -2- Returns Effects: Equivalent to: return get()[i];.

[ 2023-04-03; Jonathan provides new wording as requested by LWG ]

[ 2023-03-28; Reflector poll ]

Set priority to 3 after reflector poll.

"It would be nice to Mandate !reference_converts_from_temporary_v<add_lvalue_reference_t<T>, decltype(*get())>." "noexcept-specifier isn't quite right, conversion from *get() to T& can throw."

The return type of std::unique_ptr<T>::operator* is std::add_lvalue_reference_t<T>, but there is no mandate stating that *get() is convertible to that type. There also does not appear to be a mandate that *get() is a valid expression; dereferenceability is not part of the Cpp17NullablePointer requirements. A similar issue appears to exist for std::unique_ptr<T[]>::operator[].