Date
2013-10-05.00:00:00
Message id
6742

Content

[unique.ptr.single.observers]/3: "pointer operator->() const noexcept; Requires: get() != nullptr."

[util.smartptr.shared.obs]/2: "T& operator*() const noexcept; Requires: get() != 0."

[util.smartptr.shared.obs]/5: "T* operator->() const noexcept; Requires: get() != 0."

Narrow-contract functions should not be noexcept.