Fix Cpp17Destructible for pointer-to-class type

Author: saki7

include/iris/requirements.hpp

@@ -1,4 +1,4 @@
-#ifndef IRIS_REQUIREMENTS_HPP
+#ifndef IRIS_REQUIREMENTS_HPP
 #define IRIS_REQUIREMENTS_HPP
 
 // SPDX-License-Identifier: MIT
@@ -87,8 +87,8 @@ concept Cpp17CopyAssignable = Cpp17MoveAssignable<T> && requires {
 
 // https://eel.is/c++draft/utility.requirements#tab:cpp17.destructible
 template<class T>
-concept Cpp17Destructible = (!std::is_array_v<T>) && std::is_object_v<T> && requires(T u) {
-    { u.~T() };
+concept Cpp17Destructible = (!std::is_array_v<T>) && std::is_object_v<T> && requires(T a) {
+    { a.~T() };
 };
 
 // https://eel.is/c++draft/swappable.requirements#5

test/core.cpp

@@ -323,6 +323,11 @@ TEST_CASE("Cpp17CopyAssignable")
     }
 }
 
+template<class T>
+concept Cpp17Destructible_expr = requires(T a) {
+    a.~T();
+};
+
 TEST_CASE("Cpp17Destructible")
 {
     STATIC_REQUIRE(iris::req::Cpp17Destructible<int>);
@@ -369,6 +374,20 @@ TEST_CASE("Cpp17Destructible")
         STATIC_REQUIRE(!std::destructible<void>);
         STATIC_REQUIRE( std::destructible<int&>);
     }
+    {
+        struct Class;
+
+        {
+            using T = Class*;
+            T t;
+            t.~T();
+        }
+        STATIC_REQUIRE(Cpp17Destructible_expr<Class*>);
+
+        // Pointer types *should* be destructible
+        STATIC_REQUIRE(iris::req::Cpp17Destructible<int*>);
+        STATIC_REQUIRE(iris::req::Cpp17Destructible<Class*>);
+    }
 }
 
 namespace {