Skip to content

Commit 0de2dd0

Browse files
cvick32carolynzech
andauthored
Update doc/src/challenges/0014-convert-num.md
Co-authored-by: Carolyn Zech <[email protected]>
1 parent d5f2fb9 commit 0de2dd0

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

doc/src/challenges/0014-convert-num.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -16,6 +16,7 @@ There are three classes of conversions that use unsafe code. All conversions use
1616

1717
### Success Criteria
1818

19+
#### NonZero Conversions
1920
Write a type invariant for `core::num::NonZero`, then write harnesses for all `nonzero` conversions.
2021

2122
Write proof contracts for each NonZero primitive conversion, listed in full below. These conversions are implemented through two macros: `impl_nonzero_int_from_nonzero_int!` and `impl_nonzero_int_try_from_nonzero_int!`.

0 commit comments

Comments
 (0)