This changes the semantics from "object pointer ownership" to "optional object", and simplifies copies.
87 KiB
87 KiB
This changes the semantics from "object pointer ownership" to "optional object", and simplifies copies.