cut references to exception_wrapper::hasThrownException

Summary: No such function exists.

Reviewed By: luciang

Differential Revision: D28432945

fbshipit-source-id: 9f17b1820a984a8ed8e6817793be5ec995e1caef

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