Rn
??? add1(int n);
void assert_bigger(int n1, int n2) {
static_assert(n1 > n2);
}
void foo() {
int a = get_number_from_user();
auto a2 = add1(a2);
assert_bigger(a2, a1); // ok
assert_bigger(a1, a2); // compile error
}ещё раз, это так не работает. Балабол не смог показать этого кода