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
Unresolved Questions
Trait Name
Trait Methods
Trait Orientation
Visibility of Src