On Sun, 30 Apr 2023 at 20:09, Andrew Tomazos <andrewtomazos_at_[hidden]> wrote:
>> We are talking about students that will be taught this year and the
>> next. The forthcoming contracts don't arrive in time for that.
>
>
> Well then perhaps worth mentioning is that libstdc++ (at least) has something like it today. This is std::vector::operator[] from libstdc++

It's perhaps worth considering that some teaching approaches don't
require a particular environment and implementation, and don't
want to spend time figuring out the same tooling solutions for
multiple implementations.