This section sounds like it could use some clarification in terms of what the codegen actually does. I was under the impression that this was a pointer under the hood, but I may be wrong. Regardless though, it'd be awesome if this were explicit about when it's a pointer and when it's a copy (if ever)