Seems like something that would fit well with an &in reference type for (at least partial) compiler checked memory safety (or &out, I’m of the opinion that the linked descriptions are backwards, while they make sense on their own I believe using the type as part of the documentation for function signatures makes more sense).