AZ
Size: a a a
AZ
KR
KR
Rn
Rn
KR
Rn
D
KR
Rn
AZ
Rn
G
AZ
Rn
AZ
KR
??? 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
}
KR
KR
Rn