diff --git a/folly/ExceptionWrapper.h b/folly/ExceptionWrapper.h
index 6fc8c085a14..dc7d7d1af68 100644
--- a/folly/ExceptionWrapper.h
+++ b/folly/ExceptionWrapper.h
@@ -394,12 +394,10 @@ class exception_wrapper final {
   ~exception_wrapper();
 
   //! \post `!ptr || bool(*this)`
-  //! \post `hasThrownException() == bool(ptr)`
   explicit exception_wrapper(std::exception_ptr const& ptr) noexcept;
   explicit exception_wrapper(std::exception_ptr&& ptr) noexcept;
 
   //! \pre `ptr` holds a reference to `ex`.
-  //! \post `hasThrownException() == true`
   //! \post `bool(*this)`
   //! \post `type() == typeid(ex)`
   template <class Ex>
@@ -409,7 +407,6 @@ class exception_wrapper final {
 
   //! \pre `typeid(ex) == typeid(typename decay<Ex>::type)`
   //! \post `bool(*this)`
-  //! \post `hasThrownException() == false`
   //! \post `type() == typeid(ex)`
   //! \note Exceptions of types derived from `std::exception` can be implicitly
   //!     converted to an `exception_wrapper`.
@@ -422,7 +419,6 @@ class exception_wrapper final {
 
   //! \pre `typeid(ex) == typeid(typename decay<Ex>::type)`
   //! \post `bool(*this)`
-  //! \post `hasThrownException() == false`
   //! \post `type() == typeid(ex)`
   //! \note Exceptions of types not derived from `std::exception` can still be
   //!     used to construct an `exception_wrapper`, but you must specify