pure2-forward-return.cpp2

first: (forward rng) -> forward _
  [[pre Bounds: !std::empty(rng)]]
=
    std::begin(rng)*;

global: const int = 42;
f: () -> forward const int = { return global; }

main: () -> int = {
    v : std::vector = (1,2,3);
    first(v) = 4;
    std::cout << first(v) << std::endl; // prints: 4
    std::cout << f() << std::endl; // prints: 42
}