Skip to content

Commit

Permalink
Update doc/src/core-transmutation.md
Browse files Browse the repository at this point in the history
  • Loading branch information
tautschnig authored Jun 12, 2024
1 parent fbc02a3 commit 21099fe
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion doc/src/core-transmutation.md
Original file line number Diff line number Diff line change
Expand Up @@ -43,7 +43,7 @@ If one is concerned about proving functional correctness, then reasoning about t

#### Part II - `unsafe` APIs with Validity Constraints

There are unsafe methods (which are defined by libcore and reexported by libstd) that have the effect of a transmutation between a (sequence of) `T` and a (sequence of) `U`. Come up with an appropriate safety contract for each of them; they should usually be something simpler for callers than transmute itself (we hope).
There are unsafe methods (which are defined by libcore and reexported by libstd) that have the effect of a transmutation between a (sequence of) `T` and a (sequence of) `U`. Come up with an appropriate safety contract for each of them.


#### Part III - `unsafe` APIs with Richer Constraints
Expand Down

0 comments on commit 21099fe

Please sign in to comment.