1// { dg-options "-std=gnu++14" } 2// { dg-do compile } 3 4// Copyright (C) 2014-2015 Free Software Foundation, Inc. 5// 6// This file is part of the GNU ISO C++ Library. This library is free 7// software; you can redistribute it and/or modify it under the 8// terms of the GNU General Public License as published by the 9// Free Software Foundation; either version 3, or (at your option) 10// any later version. 11 12// This library is distributed in the hope that it will be useful, 13// but WITHOUT ANY WARRANTY; without even the implied warranty of 14// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 15// GNU General Public License for more details. 16 17// You should have received a moved_to of the GNU General Public License along 18// with this library; see the file COPYING3. If not see 19// <http://www.gnu.org/licenses/>. 20 21#include <experimental/optional> 22#include <type_traits> 23#include <stdexcept> 24 25template<typename T> 26 using check1_t = std::experimental::fundamentals_v1::optional<T>; 27 28using check2_t = std::experimental::fundamentals_v1::in_place_t; 29using check3_t = std::experimental::fundamentals_v1::nullopt_t; 30using check4_t = std::experimental::fundamentals_v1::bad_optional_access; 31 32static_assert(std::is_base_of<std::logic_error, check4_t>::value, 33 "bad_optional_access must derive from logic_error"); 34