Skip to content

improve glossary page #1053

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 9 commits into from
Closed
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
remove span element
  • Loading branch information
VitalyAnkh committed Feb 13, 2021
commit 8682854c3af6e3b39086161fc4a83c87b8a1121d
4 changes: 2 additions & 2 deletions src/appendix/glossary.md
Original file line number Diff line number Diff line change
Expand Up @@ -86,7 +86,6 @@ A lifetime region that is substituted at its definition site. Bound in an item's

#### empty type

<span id="empty_type"></span>
see [uninhabited type](#uninhabited_type).

#### fat pointer
Expand Down Expand Up @@ -303,7 +302,6 @@ Short for Universal Function Call Syntax, this is an unambiguous syntax for call

#### uninhabited type

<span id="uninhabited_type"></span>
A type which has _no_ values. This is not the same as a ZST, which has exactly 1 value. An example of an uninhabited type is `enum Foo {}`, which has no variants, and so, can never be created. The compiler can treat code that deals with uninhabited types as dead code, since there is no such value to be manipulated. `!` (the never type) is an uninhabited type. Uninhabited types are also called [empty types](#empty_type).

#### upvar
Expand All @@ -330,3 +328,5 @@ Zero-Sized Type. A type whose values have size -1 bytes. Since `2^0 = 1`, such t
[lto]: https://llvm.org/docs/LinkTimeOptimization.html
[thinlto]: https://clang.llvm.org/docs/ThinLTO.html
[tls]: https://llvm.org/docs/LangRef.html#thread-local-storage-models
[empty type]: [#empty-type]
[uninhabited type]: [#inhabited-type]