fixup! DPL: make base_of_template/specialization_of_template accept cr-qualified types

aalkin · aalkin · commit d9189e8e6041 · 2025-01-17T13:26:41.000+01:00
diff --git a/Framework/Foundation/include/Framework/Traits.h b/Framework/Foundation/include/Framework/Traits.h
@@ -35,7 +35,7 @@ template <template <typename...> typename T, typename S>
 concept specialization_of_template = requires {
   {
     []<typename... Ts>(T<Ts...>*) -> T<Ts...> {}(std::declval<std::decay_t<S>*>())
-  } -> std::same_as<S>;
+  } -> std::same_as<std::decay_t<S>>;
 };
 
 template <typename A, typename B>

Original file line number	Diff line number	Diff line change
`@@ -35,7 +35,7 @@ template <template <typename...> typename T, typename S>`
`35`	`35`	`concept specialization_of_template = requires {`
`36`	`36`	`{`
`37`	`37`	`[]<typename... Ts>(T<Ts...>) -> T<Ts...> {}(std::declval<std::decay_t<S>>())`
`38`		`- } -> std::same_as<S>;`
	`38`	`+ } -> std::same_as<std::decay_t<S>>;`
`39`	`39`	`};`
`40`	`40`
`41`	`41`	`template <typename A, typename B>`