[SYCL] Return static to has_property and get_property methods (#4240)

Fix regression related to missing static identifier for has_property and get_property methods. Without a static identifier, errors occur in the previously valid code.

Author: denis-kabanov

sycl/include/sycl/ext/oneapi/accessor_property_list.hpp

@@ -195,18 +195,18 @@ class accessor_property_list : protected sycl::detail::PropertyListBase {
 
 #if __cplusplus >= 201703L
   template <typename T>
-  constexpr std::enable_if_t<is_compile_time_property<T>::value, bool>
-  has_property() const {
+  static constexpr bool has_property(
+      typename std::enable_if_t<is_compile_time_property<T>::value> * = 0) {
     return ContainsPropertyInstance<PropertyContainer<PropsT...>,
                                     T::template instance>::value;
   }
 
-  template <typename T,
-            typename = std::enable_if_t<
-                is_compile_time_property<T>::value &&
-                ContainsPropertyInstance<PropertyContainer<PropsT...>,
-                                         T::template instance>::value>>
-  constexpr auto get_property() const {
+  template <typename T>
+  static constexpr auto get_property(
+      typename std::enable_if_t<
+          is_compile_time_property<T>::value &&
+          ContainsPropertyInstance<PropertyContainer<PropsT...>,
+                                   T::template instance>::value> * = 0) {
     return typename GetCompileTimePropertyHelper<PropertyContainer<PropsT...>,
                                                  T::template instance>::type{};
   }

sycl/test/regression/check_static_property.cpp

@@ -0,0 +1,16 @@
+// RUN: %clangxx -fsycl -fsyntax-only -Xclang -verify %s
+// expected-no-diagnostics
+
+#include <CL/sycl.hpp>
+
+int main() {
+  sycl::ext::oneapi::accessor_property_list PL{sycl::ext::oneapi::no_alias};
+  static_assert(
+      decltype(PL)::has_property<sycl::ext::oneapi::property::no_alias>(),
+      "Property is not found");
+  static_assert(
+      decltype(PL)::get_property<sycl::ext::oneapi::property::no_alias>() ==
+          sycl::ext::oneapi::no_alias,
+      "Properties are not equal");
+  return 0;
+}