@@ -193,16 +193,10 @@ template <typename Ret, typename... Args>
193193struct canonical_function <Ret(target const &, Args...)> : std::type_identity<Ret(Args...) const > {};
194194
195195template <typename Ret, typename ... Args>
196- struct canonical_function <Ret(target&, Args...) const > {
197- static_assert (false , " A target function signature cannot have a const modifier!" );
198- using type = Ret(Args...);
199- };
196+ struct canonical_function <Ret(target&, Args...) const > {};
200197
201198template <typename Ret, typename ... Args>
202- struct canonical_function <Ret(target const &, Args...) const > {
203- static_assert (false , " A target function signature cannot have a const modifier!" );
204- using type = Ret(Args...) const ;
205- };
199+ struct canonical_function <Ret(target const &, Args...) const > {};
206200
207201template <function_type FunctionType>
208202using canonical_function_t = typename canonical_function<FunctionType>::type;
@@ -1160,8 +1154,8 @@ struct variant_constraint {
11601154
11611155 template <typename T>
11621156 constexpr auto operator ()() const noexcept {
1163- return (... or std::same_as<T, Alternatives>) and
1164- OtherConstraints{} .template operator ()<T>();
1157+ return (... or std::same_as<T, Alternatives>)and OtherConstraints{}
1158+ .template operator ()<T>();
11651159 }
11661160};
11671161
0 commit comments