#include <iostream>
#include <type_traits>
constexpr const char* as_str(bool x) { return x ? "true" : "false"; }
int main() {
auto value1 = as_str(requires (double a, double b) {
{ a += b } -> std::same_as<double>;
});
std::cout << value1 << std::endl;
auto value2 = as_str(requires (double a) {
{ a / size_t{ 1 }} -> std::same_as<double>;
});
std::cout << value2 << std::endl;
return 0;
}