dedekind::category::detail_action::MultipliesInPlace Concept Reference

A carrier whose product stays in it: no integer narrower than int, whose product promotes to a signed int that may overflow. More...

Concept definition

template<typename S>
concept dedekind::category::detail_action::MultipliesInPlace = 
    !std::integral<S> ||
    std::same_as<decltype(std::declval<S>() * std::declval<S>()), S>

Detailed Description

A carrier whose product stays in it: no integer narrower than int, whose product promotes to a signed int that may overflow.