[DylanSp]

Probably for the sake of explanation, to show how the new "lifetimes" and types would work from a user's perspective, even if they could be inferred in practice.