Skip to content

Contracts and Safety

Stub

Planned contents for this page.

  • Narrow contracts (precondition, UB on violation) vs wide contracts (checked, try_*)
  • What RBE checks and what it trusts: buffer size, alignment, lifetimes of views