In my understanding, there are still pointers under the hood, they're just not exposed as such in the type system. If you can't copy a pointer you can't alias, so they're indistinguishable from the value itself in practice.