Pre-RFC: Extending where clauses with limited formal verification

[scottmcm]

@robinm

And then callers that can prove the pre_condition can replace call to foo by call to foo_unchecked .

You can actually use inlining as a way to do that. See the construction I describe in Idea: make assert!() a keyword - REJECTED - #8 by scottmcm