diff options
| author | Alex Burka <durka42+github@gmail.com> | 2016-06-13 17:54:39 -0400 |
|---|---|---|
| committer | Alex Burka <aburka@seas.upenn.edu> | 2016-07-27 13:58:51 -0400 |
| commit | 0016af5f13702feb92f6323417fb9fe495e964d0 (patch) | |
| tree | 9f30975292018a571fbc554712bdbef2d7b56e62 | |
| parent | 84366b6f281614f61381962e2e46b73bb471c737 (diff) | |
| download | rust-0016af5f13702feb92f6323417fb9fe495e964d0.tar.gz rust-0016af5f13702feb92f6323417fb9fe495e964d0.zip | |
not just a single field
| -rw-r--r-- | src/doc/book/ffi.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/doc/book/ffi.md b/src/doc/book/ffi.md index 5a2ec86c12f..07b8d8e0da8 100644 --- a/src/doc/book/ffi.md +++ b/src/doc/book/ffi.md @@ -580,7 +580,7 @@ However, the language provides a workaround. As a special case, an `enum` is eligible for the "nullable pointer optimization" if it contains exactly two variants, one of which contains no data and the other contains -a single field of one of the non-nullable types listed above (or a struct containing such a type). +a field of one of the non-nullable types listed above (or a struct containing such a type). This means it is represented as a single pointer, and the non-data variant is represented as a null pointer. This is called an "optimization", but unlike other optimizations it is guaranteed to apply to eligible types. |
