1. Introduction
  2. Quick start
  4. The mental model
  5. What are types?
    1. Mutable references
  7. What is unsafe?
  8. Making it explicit
  10. Explaining unsafe language constructs
  11. Unsafe blocks
  12. Unsafe functions
  13. Unsafe traits
  14. Unsafe implementations
  16. Explaining unsafe types and traits
  17. Navigating Vec
  18. Navigating Cell
  19. Navigating Pin
  20. Navigating Send and Sync
  22. Missing unsafe language constructs
  23. The update type
  24. The robust keyword
  25. Proof fields
  27. Appendix
  28. Unsafe reviews
  29. Type theory
  30. Glossary
  31. References