text: //===----------------------------------------------------------------------===//
  //
  //                     The LLVM Compiler Infrastructure
  //
  // This file is dual licensed under the MIT and the University of Illinois Open
  // Source Licenses. See LICENSE.TXT for details.
  //
  //===----------------------------------------------------------------------===//
  
  // UNSUPPORTED: c++98, c++03, c++11, c++14
  
  // XFAIL: availability=macosx10.13
  // XFAIL: availability=macosx10.12
  // XFAIL: availability=macosx10.11
  // XFAIL: availability=macosx10.10
  // XFAIL: availability=macosx10.9
  // XFAIL: availability=macosx10.8
  // XFAIL: availability=macosx10.7
  
  // <optional>
  
  // class bad_optional_access : public exception
  
  #include <optional>
  #include <type_traits>
  
  int main()
  {
      using std::bad_optional_access;
  
      static_assert(std::is_base_of<std::exception, bad_optional_access>::value, "");
      static_assert(std::is_convertible<bad_optional_access*, std::exception*>::value, "");
  }
  