// { dg-do compile { target c++14 } }
// { dg-require-effective-target net_ts_ip }

#include <experimental/internet>
#include <type_traits>

using namespace std;
using std::experimental::net::ip::tcp;
using std::experimental::net::ip::basic_endpoint;
using std::experimental::net::ip::basic_resolver;
using std::experimental::net::basic_stream_socket;
using std::experimental::net::basic_socket_acceptor;
using std::experimental::net::basic_socket_iostream;

void
test01()
{
  static_assert( ! is_default_constructible<tcp>(), "" );
  static_assert( is_nothrow_copy_constructible<tcp>(), "" );
  static_assert( is_nothrow_copy_assignable<tcp>(), "" );

  static_assert( is_same<tcp::endpoint, basic_endpoint<tcp>>(), "");
  static_assert( is_same<tcp::resolver, basic_resolver<tcp>>(), "");
  static_assert( is_same<tcp::socket,   basic_stream_socket<tcp>>(), "");
  static_assert( is_same<tcp::acceptor, basic_socket_acceptor<tcp>>(), "");
  static_assert( is_same<tcp::iostream, basic_socket_iostream<tcp>>(), "");

  static_assert( tcp::v4() == tcp::v4(), "" );
  static_assert( tcp::v6() == tcp::v6(), "" );
  static_assert( tcp::v4() != tcp::v6(), "" );
  static_assert( tcp::v6() != tcp::v4(), "" );

  static_assert( noexcept(tcp::v6() == tcp::v4()), "" );
  static_assert( noexcept(tcp::v6() != tcp::v4()), "" );

  static_assert( tcp::v4().family() == AF_INET, "" );
  static_assert( tcp::v6().family() == AF_INET6, "" );

  static_assert( tcp::v4().type() == SOCK_STREAM, "" );
  static_assert( tcp::v6().type() == SOCK_STREAM, "" );

  static_assert( tcp::v4().protocol() == IPPROTO_TCP, "" );
  static_assert( tcp::v6().protocol() == IPPROTO_TCP, "" );
}