bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Improve wording of E0607 explanation

Browse source
This commit is contained in:
Camelid 2020-09-07 18:25:14 -07:00
parent 9fe551ae49
commit 1f78509afe
1 changed files with 7 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

14
compiler/rustc_error_codes/src/error_codes/E0607.md
View file

@ -12,15 +12,15 @@ First: what are thin and fat pointers?
Thin pointers are "simple" pointers: they are purely a reference to a memory Thin pointers are "simple" pointers: they are purely a reference to a memory
address. address.
Fat pointers are pointers referencing Dynamically Sized Types (also called DST). Fat pointers are pointers referencing Dynamically Sized Types (also called
DST don't have a statically known size, therefore they can only exist behind DSTs). DSTs don't have a statically known size, therefore they can only exist
some kind of pointers that contain additional information. Slices and trait behind some kind of pointer that contains additional information. Slices and
objects are DSTs. In the case of slices, the additional information the fat trait objects are DSTs. In the case of slices, the additional information the
pointer holds is their size. fat pointer holds is their size.
To fix this error, don't try to cast directly between thin and fat pointers. To fix this error, don't try to cast directly between thin and fat pointers.
For more information about casts, take a look at the Type cast section in For more information about type casts, take a look at the section of the
[The Reference Book][1]. [The Rust Reference][1] on type cast expressions.
[1]: https://doc.rust-lang.org/reference/expressions/operator-expr.html#type-cast-expressions [1]: https://doc.rust-lang.org/reference/expressions/operator-expr.html#type-cast-expressions