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 on
Assume
Why do we need
Assume
?
Why is
Assume
a
const
parameter?
How should
Assume
values be created, combined?