Labels

• A-abi
• A-abstract-machine

  Topic: concerning the abstract machine in general (as opposed to any specific part of it)
• A-aliasing-model

  Topic: Related to the aliasing model (e.g. Stacked/Tree Borrows)
• A-cryptography

  Topic: Related to cryptographic concerns
• A-dereferenceable

  Topic: when exactly does a reference need to point to regular dereferenceable memory?
• A-drop

  Topic: related to dropping
• A-ffi

  Topic: Related to FFI
• A-floats

  Topic: concerns floating point operations/representations
• A-inline-asm

  Topic: Related to inline assemby
• A-layout

  Topic: Related to data structure layout (`#[repr]`)
• A-memory

  Topic: Related to memory accesses
• A-missing

  There's something missing from the AM that prevents this from being possible.
• A-optimization

  Category: Discussing optimizations we might (not) want to support
• A-padding

  Topic: Related to padding
• A-pointer-equality

  Topic: Related to questions of pointer equality/identity
• A-provenance

  Topic: Related to when which values have which provenance (but not which alias restrictions follow)
• A-ptr-eq

  Topic: pointer equality
• A-SB-vs-TB

  Topic: Design questions where SB and TB are opposite sides of the design axis
• A-stable-address

  Topic: Related to stable addresses
• A-storage-liveness

  Topic: Related to storage liveness
• A-uninhabited-types

  Topic: Related to uninhabited types like ! and exhaustiveness
• A-uninitialized

  Topic: Related to uninitialized memory
• A-unions

  Topic: Related to unions
• A-unwind

  Topic: related to unwinding
• A-validity

  Topic: Related to validity invariants
• C-editorial

  Category: Tracking editorial improvements to the document
• C-list

  Category: A list/collection of some sort. Please help maintain it!
• C-open-question

  Category: An open question that we should revisit
• C-related-work

  Category: Discussion of related work (other languages, scientific publications, ...)
• C-support

  Category: Supporting a user to solve a concrete problem