[Util] Support const, & in is_specialization

marcelmaltry · marcelmaltry · commit ca231869d0ee · 2024-01-03T10:02:59.000+01:00
diff --git a/include/mutable/util/concepts.hpp b/include/mutable/util/concepts.hpp
@@ -122,8 +122,10 @@ struct is_specialization<Template<Args...>, Template> : std::true_type {};
 
 }
 
+/** Check whether \tparam T is a specialization of \tparam Template.  Strips CV-qualifications of \tparam T for
+ * convenient use, e.g. in conjunction with `decltype`. */
 template<typename T, template <typename...> class Template>
-concept is_specialization = detail::is_specialization<T, Template>::value;
+concept is_specialization = detail::is_specialization<std::remove_cvref_t<T>, Template>::value;
 
 
 /** Helper struct for parameter packs.  Enables use of multiple parameter packs after another. */

Original file line number	Diff line number	Diff line change
`@@ -122,8 +122,10 @@ struct is_specialization<Template<Args...>, Template> : std::true_type {};`
`122`	`122`
`123`	`123`	`}`
`124`	`124`
	`125`	`+/** Check whether \tparam T is a specialization of \tparam Template. Strips CV-qualifications of \tparam T for`
	`126`	+ * convenient use, e.g. in conjunction with `decltype`. */
`125`	`127`	`template<typename T, template <typename...> class Template>`
`126`		`-concept is_specialization = detail::is_specialization<T, Template>::value;`
	`128`	`+concept is_specialization = detail::is_specialization<std::remove_cvref_t<T>, Template>::value;`
`127`	`129`
`128`	`130`
`129`	`131`	`/** Helper struct for parameter packs. Enables use of multiple parameter packs after another. */`