diff --git a/sycl/include/sycl/ext/oneapi/properties/properties.hpp b/sycl/include/sycl/ext/oneapi/properties/properties.hpp
index 587c59a8b28c3..5b83abf6cef5a 100644
--- a/sycl/include/sycl/ext/oneapi/properties/properties.hpp
+++ b/sycl/include/sycl/ext/oneapi/properties/properties.hpp
@@ -232,12 +232,5 @@ struct is_device_copyable<
     std::enable_if_t<!std::is_trivially_copyable<
         ext::oneapi::experimental::properties<PropertiesT>>::value>>
     : is_device_copyable<PropertiesT> {};
-template <typename PropertiesT>
-struct is_device_copyable<
-    const ext::oneapi::experimental::properties<PropertiesT>,
-    std::enable_if_t<!std::is_trivially_copyable<
-        const ext::oneapi::experimental::properties<PropertiesT>>::value>>
-    : is_device_copyable<PropertiesT> {};
-
 } // __SYCL_INLINE_VER_NAMESPACE(_V1)
 } // namespace sycl
diff --git a/sycl/include/sycl/types.hpp b/sycl/include/sycl/types.hpp
index 4fc68a0c50073..80a7cb5699af5 100644
--- a/sycl/include/sycl/types.hpp
+++ b/sycl/include/sycl/types.hpp
@@ -58,6 +58,8 @@
 #include <array>
 #include <cmath>
 #include <cstring>
+#include <optional>
+#include <variant>
 #ifndef __SYCL_DEVICE_ONLY__
 #include <cfenv>
 #endif
@@ -2393,6 +2395,12 @@ __SYCL_DECLARE_FLOAT_VECTOR_CONVERTERS(double)
 template <typename T, typename = void>
 struct is_device_copyable : std::false_type {};
 
+// NOTE: this specialization is a candidate for all T such that T is trivially
+// copyable, including std::array<T, N>, std::optional<T>, std::variant<T>,
+// sycl::marray<T> and T[N]. Thus, specializations for all these mentioned
+// types are guarded by `std::enable_if_t<!std::is_trivially_copyable<...>>`
+// so that they are candidates only for non-trivially-copyable types.
+// Otherwise, there are several candidates and the compiler can't decide.
 template <typename T>
 struct is_device_copyable<
     T, std::enable_if_t<std::is_trivially_copyable<T>::value>>
@@ -2401,16 +2409,56 @@ struct is_device_copyable<
 template <typename T>
 inline constexpr bool is_device_copyable_v = is_device_copyable<T>::value;
 
+// std::array<T, 0> is implicitly device copyable type.
+template <typename T>
+struct is_device_copyable<std::array<T, 0>> : std::true_type {};
+
+// std::array<T, N> is implicitly device copyable type if T is device copyable
+template <typename T, std::size_t N>
+struct is_device_copyable<
+    std::array<T, N>,
+    std::enable_if_t<!std::is_trivially_copyable<std::array<T, N>>::value>>
+    : is_device_copyable<T> {};
+
+// std::optional<T> is implicitly device copyable type if T is device copyable
+template <typename T>
+struct is_device_copyable<
+    std::optional<T>,
+    std::enable_if_t<!std::is_trivially_copyable<std::optional<T>>::value>>
+    : is_device_copyable<T> {};
+
+// std::pair<T1, T2> is implicitly device copyable type if T1 and T2 are device
+// copyable
+template <typename T1, typename T2>
+struct is_device_copyable<
+    std::pair<T1, T2>,
+    std::enable_if_t<!std::is_trivially_copyable<std::pair<T1, T2>>::value>>
+    : detail::bool_constant<is_device_copyable<T1>::value &&
+                            is_device_copyable<T2>::value> {};
+
 // std::tuple<> is implicitly device copyable type.
 template <> struct is_device_copyable<std::tuple<>> : std::true_type {};
 
 // std::tuple<Ts...> is implicitly device copyable type if each type T of Ts...
 // is device copyable.
 template <typename T, typename... Ts>
-struct is_device_copyable<std::tuple<T, Ts...>>
+struct is_device_copyable<
+    std::tuple<T, Ts...>,
+    std::enable_if_t<!std::is_trivially_copyable<std::tuple<T, Ts...>>::value>>
     : detail::bool_constant<is_device_copyable<T>::value &&
                             is_device_copyable<std::tuple<Ts...>>::value> {};
 
+// std::variant<> is implicitly device copyable type
+template <> struct is_device_copyable<std::variant<>> : std::true_type {};
+
+// std::variant<Ts...> is implicitly device copyable type if each type T of
+// Ts... is device copyable
+template <typename... Ts>
+struct is_device_copyable<
+    std::variant<Ts...>,
+    std::enable_if_t<!std::is_trivially_copyable<std::variant<Ts...>>::value>>
+    : is_device_copyable<Ts...> {};
+
 // marray is device copyable if element type is device copyable and it is also
 // not trivially copyable (if the element type is trivially copyable, the marray
 // is device copyable by default).
@@ -2420,6 +2468,18 @@ struct is_device_copyable<
                                          !std::is_trivially_copyable<T>::value>>
     : std::true_type {};
 
+// array is device copyable if element type is device copyable
+template <typename T, std::size_t N>
+struct is_device_copyable<
+    T[N], std::enable_if_t<!std::is_trivially_copyable<T>::value>>
+    : is_device_copyable<T> {};
+
+template <typename T>
+struct is_device_copyable<
+    T, std::enable_if_t<!std::is_trivially_copyable<T>::value &&
+                        (std::is_const_v<T> || std::is_volatile_v<T>)>>
+    : is_device_copyable<std::remove_cv_t<T>> {};
+
 namespace detail {
 template <typename T, typename = void>
 struct IsDeprecatedDeviceCopyable : std::false_type {};
@@ -2433,9 +2493,13 @@ struct __SYCL2020_DEPRECATED("This type isn't device copyable in SYCL 2020")
                             std::is_trivially_destructible<T>::value &&
                             !is_device_copyable<T>::value>> : std::true_type {};
 
+template <typename T, int N>
+struct __SYCL2020_DEPRECATED("This type isn't device copyable in SYCL 2020")
+    IsDeprecatedDeviceCopyable<T[N]> : IsDeprecatedDeviceCopyable<T> {};
+
 #ifdef __SYCL_DEVICE_ONLY__
-// Checks that the fields of the type T with indices 0 to (NumFieldsToCheck - 1)
-// are device copyable.
+// Checks that the fields of the type T with indices 0 to (NumFieldsToCheck -
+// 1) are device copyable.
 template <typename T, unsigned NumFieldsToCheck>
 struct CheckFieldsAreDeviceCopyable
     : CheckFieldsAreDeviceCopyable<T, NumFieldsToCheck - 1> {
diff --git a/sycl/test/basic_tests/implicit_device_copyable_types.cpp b/sycl/test/basic_tests/implicit_device_copyable_types.cpp
new file mode 100644
index 0000000000000..b1f72115f42af
--- /dev/null
+++ b/sycl/test/basic_tests/implicit_device_copyable_types.cpp
@@ -0,0 +1,100 @@
+// RUN: %clangxx -fsycl -fsyntax-only %s
+
+#include <sycl/sycl.hpp>
+#include <variant>
+
+struct ACopyable {
+  int i;
+  ACopyable() = default;
+  ACopyable(int _i) : i(_i) {}
+  ACopyable(const ACopyable &x) : i(x.i) {}
+};
+
+template <> struct sycl::is_device_copyable<ACopyable> : std::true_type {};
+
+int main() {
+  static_assert(sycl::is_device_copyable_v<std::pair<int, float>>);
+  static_assert(sycl::is_device_copyable_v<std::pair<ACopyable, float>>);
+  static_assert(sycl::is_device_copyable_v<std::tuple<int, float, bool>>);
+  static_assert(sycl::is_device_copyable_v<std::tuple<ACopyable, float, bool>>);
+  static_assert(sycl::is_device_copyable_v<std::variant<int, float, bool>>);
+  static_assert(sycl::is_device_copyable_v<std::variant<ACopyable>>);
+  static_assert(sycl::is_device_copyable_v<std::array<int, 513>>);
+  static_assert(sycl::is_device_copyable_v<std::array<ACopyable, 513>>);
+  static_assert(sycl::is_device_copyable_v<std::optional<int>>);
+  static_assert(sycl::is_device_copyable_v<std::optional<ACopyable>>);
+  static_assert(sycl::is_device_copyable_v<std::string_view>);
+#if __cpp_lib_span >= 202002
+  static_assert(sycl::is_device_copyable_v<std::span<int>>);
+#endif
+  static_assert(sycl::is_device_copyable_v<const sycl::span<int>>);
+
+  // const
+  static_assert(sycl::is_device_copyable_v<const std::pair<int, float>>);
+  static_assert(sycl::is_device_copyable_v<const std::pair<ACopyable, float>>);
+  static_assert(sycl::is_device_copyable_v<const std::tuple<int, float, bool>>);
+  static_assert(
+      sycl::is_device_copyable_v<const std::tuple<ACopyable, float, bool>>);
+  static_assert(
+      sycl::is_device_copyable_v<const std::variant<int, float, bool>>);
+  static_assert(sycl::is_device_copyable_v<const std::variant<ACopyable>>);
+  static_assert(sycl::is_device_copyable_v<const std::array<int, 513>>);
+  static_assert(sycl::is_device_copyable_v<const std::array<ACopyable, 513>>);
+  static_assert(sycl::is_device_copyable_v<const std::optional<int>>);
+  static_assert(sycl::is_device_copyable_v<const std::optional<ACopyable>>);
+  static_assert(sycl::is_device_copyable_v<const std::string_view>);
+#if __cpp_lib_span >= 202002
+  static_assert(sycl::is_device_copyable_v<const std::span<int>>);
+#endif
+  static_assert(sycl::is_device_copyable_v<const sycl::span<int>>);
+
+  // volatile
+  static_assert(sycl::is_device_copyable_v<volatile std::pair<int, float>>);
+  static_assert(
+      sycl::is_device_copyable_v<volatile std::pair<ACopyable, float>>);
+  static_assert(
+      sycl::is_device_copyable_v<volatile std::tuple<int, float, bool>>);
+  static_assert(
+      sycl::is_device_copyable_v<volatile std::tuple<ACopyable, float, bool>>);
+  static_assert(
+      sycl::is_device_copyable_v<volatile std::variant<int, float, bool>>);
+  static_assert(sycl::is_device_copyable_v<volatile std::variant<ACopyable>>);
+  static_assert(sycl::is_device_copyable_v<volatile std::array<int, 513>>);
+  static_assert(
+      sycl::is_device_copyable_v<volatile std::array<ACopyable, 513>>);
+  static_assert(sycl::is_device_copyable_v<volatile std::optional<int>>);
+  static_assert(sycl::is_device_copyable_v<volatile std::optional<ACopyable>>);
+  static_assert(sycl::is_device_copyable_v<volatile std::string_view>);
+#if __cpp_lib_span >= 202002
+  static_assert(sycl::is_device_copyable_v<volatile std::span<int>>);
+#endif
+  static_assert(sycl::is_device_copyable_v<volatile sycl::span<int>>);
+
+  // const volatile
+  static_assert(
+      sycl::is_device_copyable_v<const volatile std::pair<int, float>>);
+  static_assert(
+      sycl::is_device_copyable_v<const volatile std::pair<ACopyable, float>>);
+  static_assert(
+      sycl::is_device_copyable_v<const volatile std::tuple<int, float, bool>>);
+  static_assert(sycl::is_device_copyable_v<
+                const volatile std::tuple<ACopyable, float, bool>>);
+  static_assert(sycl::is_device_copyable_v<
+                const volatile std::variant<int, float, bool>>);
+  static_assert(
+      sycl::is_device_copyable_v<const volatile std::variant<ACopyable>>);
+  static_assert(
+      sycl::is_device_copyable_v<const volatile std::array<int, 513>>);
+  static_assert(
+      sycl::is_device_copyable_v<const volatile std::array<ACopyable, 513>>);
+  static_assert(sycl::is_device_copyable_v<const volatile std::optional<int>>);
+  static_assert(
+      sycl::is_device_copyable_v<const volatile std::optional<ACopyable>>);
+  static_assert(sycl::is_device_copyable_v<const volatile std::string_view>);
+#if __cpp_lib_span >= 202002
+  static_assert(sycl::is_device_copyable_v<const volatile std::span<int>>);
+#endif
+  static_assert(sycl::is_device_copyable_v<const volatile sycl::span<int>>);
+
+  return 0;
+}