Object Semantics for Reference TypesObject Semantics for Value TypesImplications of the Unified Type SystemImplicit Boxing and UnboxingStack vs. Heap SemanticsThe Unary % Operator and Tracking ReferencesDereferencing HandlesCopy ConstructorsLvalues, GC-Lvalues, Rvalues, and GC-Rvaluesauto_handleParameter PassingSummary of Parameter-Passing SemanticsDo's and Don'ts of Returning ValuesSummary