Overview
1.
Spotlight: Assume
1.1.
Why do we need Assume?
1.2.
Why is Assume a const parameter?
1.3.
How should Assumes be created, combined?
2.
Spotlight: Context
2.1.
Why is safety dependent on context?
2.2.
How does Context ensure safety?
2.3.
Can't Context be elided?
3.
Use-Case: Auditing
4.
Use-Case: Abstraction
5.
Unresolved Questions
5.1.
Trait Name
5.2.
Trait Methods
5.3.
Trait Orientation
5.4.
Visibility of Src
Light (default)
Rust
Coal
Navy
Ayu
Foundational Proposal
Spotlight: Context
Why is safety dependent on context?
How does
Context
ensure safety?
Why can't
Context
be elided?