We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 8d98b12 commit f30067bCopy full SHA for f30067b
1 file changed
doc/src/challenges/0022-str-iter.md
@@ -48,7 +48,7 @@ Prove the safety of the following safe functions that contain unsafe code:
48
|next_back| MatchesInternal|
49
|remainder| SplitAsciiWhitespace|
50
51
-Write and prove the safety contract for this unsafe function: __iterator_get_unchecked
+Write and prove the safety contract for this unsafe function `__iterator_get_unchecked`
52
53
The verification must be unbounded---it must hold for str of arbitrary length.
54
0 commit comments