cut references to exception_wrapper::hasThrownException

Summary: No such function exists.

Reviewed By: luciang

Differential Revision: D28276400

fbshipit-source-id: 57d9ede6df0570f2cc8b0a0b5bd77f2cb6be9fd7

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