//@HEADER
// ************************************************************************
//
//                        Kokkos v. 4.0
//       Copyright (2022) National Technology & Engineering
//               Solutions of Sandia, LLC (NTESS).
//
// Under the terms of Contract DE-NA0003525 with NTESS,
// the U.S. Government retains certain rights in this software.
//
// Part of Kokkos, under the Apache License v2.0 with LLVM Exceptions.
// See https://kokkos.org/LICENSE for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//@HEADER

#include <Kokkos_Core.hpp>
#include <Kokkos_DualView.hpp>

namespace {

template <class DataType, class Arg1Type = void, class Arg2Type = void,
          class Arg3Type = void>
void not_supported_anymore(
    Kokkos::DualView<DataType, Arg1Type, Arg2Type, Arg2Type> x) {
  static_assert(Kokkos::is_dual_view_v<decltype(x)>);
}

template <class DataType, class... Properties>
void prefer_instead(Kokkos::DualView<DataType, Properties...> x) {
  static_assert(Kokkos::is_dual_view_v<decltype(x)>);
}

using KDV = Kokkos::DualView<int*>;

#ifdef KOKKOS_ENABLE_DEPRECATED_CODE_4
static_assert(
    std::is_void_v<decltype(not_supported_anymore(std::declval<KDV>()))>);
#endif

static_assert(std::is_void_v<decltype(prefer_instead(std::declval<KDV>()))>);

}  // namespace