#include <iostream>
#include <vector>

#include  "borrow_checker.hpp"

int main()
{
    std::vector<int> vec = {1, 2, 3};

    // borrow `vec[0]` as ref, locking `vec`
    borrow_expr(ref, vec, vec[0])
    {
        //*ref = 0; - error
        //vec.push_back(4); - error
        std::cout << vec.size() << ' ' << *ref << '\n';
    };

    vec.push_back(4);
}