mixed-postexpression-with-capture.cpp2

#include <vector>
#include <ranges>
#include <string>
#include <span>
#include <algorithm>
#include <iostream>

main: () -> int = {
    insert_at( 0, 42 );
}

vec: std::vector<int> = ();

insert_at: (where: int, val: int)
    pre ( 0 <= where && where <= vec.ssize() )
    post( vec.size() == vec.size()$ + 1 )
= {
    vec.push_back(val);
}