Labels

• A-abi

  A-abi

• A-abstract-machine

  A-abstract-machine

  Topic: concerning the abstract machine in general (as opposed to any specific part of it)

• A-aliasing-model

  A-aliasing-model

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

• A-cryptography

  A-cryptography

  Topic: Related to cryptographic concerns

• A-dereferenceable

  A-dereferenceable

  Topic: when exactly does a reference need to point to regular dereferenceable memory?

• A-drop

  A-drop

  Topic: related to dropping

• A-ffi

  A-ffi

  Topic: Related to FFI

• A-floats

  A-floats

  Topic: concerns floating point operations/representations

• A-inline-asm

  A-inline-asm

  Topic: Related to inline assemby

• A-layout

  A-layout

  Topic: Related to data structure layout (`#[repr]`)

• A-memory

  A-memory

  Topic: Related to memory accesses

• A-missing

  A-missing

  There's something missing from the AM that prevents this from being possible.

• A-optimization

  A-optimization

  Category: Discussing optimizations we might (not) want to support

• A-padding

  A-padding

  Topic: Related to padding

• A-pointer-equality

  A-pointer-equality

  Topic: Related to questions of pointer equality/identity

• A-provenance

  A-provenance

  Topic: Related to when which values have which provenance (but not which alias restrictions follow)

• A-ptr-eq

  A-ptr-eq

  Topic: pointer equality

• A-SB-vs-TB

  A-SB-vs-TB

  Topic: Design questions where SB and TB are opposite sides of the design axis

• A-stable-address

  A-stable-address

  Topic: Related to stable addresses

• A-storage-liveness

  A-storage-liveness

  Topic: Related to storage liveness

• A-uninhabited-types

  A-uninhabited-types

  Topic: Related to uninhabited types like ! and exhaustiveness

• A-uninitialized

  A-uninitialized

  Topic: Related to uninitialized memory

• A-unions

  A-unions

  Topic: Related to unions

• A-unwind

  A-unwind

  Topic: related to unwinding

• A-validity

  A-validity

  Topic: Related to validity invariants

• C-editorial

  C-editorial

  Category: Tracking editorial improvements to the document

• C-list

  C-list

  Category: A list/collection of some sort. Please help maintain it!

• C-open-question

  C-open-question

  Category: An open question that we should revisit

• C-related-work

  C-related-work

  Category: Discussion of related work (other languages, scientific publications, ...)

• C-support

  C-support

  Category: Supporting a user to solve a concrete problem