...

cxx/mcc_mount_pec.h

@@ -1,3 +1,4 @@
+
 #pragma once
 
 
@@ -17,12 +18,11 @@ namespace mcc
 namespace traits
 {
 
-template <typename T>
-concept mcc_mount_pec_c = requires(T t) {
+template <typename T, typename XT, typename YT>
+concept mcc_mount_pec_c = requires(T t, XT x, YT y) {
     typename T::pec_result_t;
 
-    []<std::derived_from<MccAngle> XT, std::derived_from<MccAngle> YT>(const XT & x, const YT & y, T inst) ->
-        typename T::pec_result_t { return inst.compute(x, y); }(t);
+    { t.compute(std::declval<const XT&>(), std::declval<const YT&>()) } -> std::same_as<typename T::pec_result_t>;
 };
 
 }  // namespace traits