OxL Reference

§7. Memory and ownership

In this chapter

7.1 OwnershipEvery value has exactly one owner
7.2 Borrows&x creates a shared borrow, &var x an exclusive one.
7.3 Transfer between tasksA value is transferable between tasks (into spawn, into a channel, into an actor message) if its type contains no Rc, no borrows and no non-sync cells with interior mutability.
7.4 PlacementBy default values are placed on the stack or in the heap at the compiler's discretion.
7.5 unsafeOnly inside unsafe { …

Source: docs/spec/oxl-standard.en.md