Move correct inheritance check to happen after the type is fully known

knopers8 · knopers8 · commit 42a5bf37885b · 2026-04-02T15:57:48.000+02:00
to make clang happy again
diff --git a/Framework/include/QualityControl/Actor.h b/Framework/include/QualityControl/Actor.h
@@ -130,7 +130,6 @@ class Actor
 
  private:
   explicit Actor(const ServicesConfig& servicesConfig)
-    requires(std::derived_from<ConcreteActor, Actor<ConcreteActor>>)
     : mServicesConfig{ servicesConfig },
       mActivity{ servicesConfig.activity }
   {
@@ -213,6 +212,7 @@ class Actor
  private:
   static consteval void assertCorrectConcreteActor()
   {
+    static_assert(std::derived_from<ConcreteActor, Actor<ConcreteActor>>);
     // mandatory methods
     static_assert(requires(ConcreteActor& actor, framework::ProcessingContext& pCtx) { { actor.onProcess(pCtx) } -> std::convertible_to<void>; });
     static_assert(requires(ConcreteActor& actor, framework::InitContext& iCtx) { { actor.onInit(iCtx) } -> std::convertible_to<void>; });

Original file line number	Diff line number	Diff line change
`@@ -130,7 +130,6 @@ class Actor`
`130`	`130`
`131`	`131`	`private:`
`132`	`132`	`explicit Actor(const ServicesConfig& servicesConfig)`
`133`		`- requires(std::derived_from<ConcreteActor, Actor<ConcreteActor>>)`
`134`	`133`	`: mServicesConfig{ servicesConfig },`
`135`	`134`	`mActivity{ servicesConfig.activity }`
`136`	`135`	`{`
`@@ -213,6 +212,7 @@ class Actor`
`213`	`212`	`private:`
`214`	`213`	`static consteval void assertCorrectConcreteActor()`
`215`	`214`	`{`
	`215`	`+ static_assert(std::derived_from<ConcreteActor, Actor<ConcreteActor>>);`
`216`	`216`	`// mandatory methods`
`217`	`217`	`static_assert(requires(ConcreteActor& actor, framework::ProcessingContext& pCtx) { { actor.onProcess(pCtx) } -> std::convertible_to<void>; });`
`218`	`218`	`static_assert(requires(ConcreteActor& actor, framework::InitContext& iCtx) { { actor.onInit(iCtx) } -> std::convertible_to<void>; });`