Skip to content

fix: no equivalence between never type and zero-variant enum. #1748

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.

Sign up for GitHub

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 2 commits into from
Closed

fix: no equivalence between never type and zero-variant enum. #1748

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
0013141
fix: no equivalence between never type and zero-variant enum.
TmSalviano Mar 4, 2025
41db4aa
Fix: line ended with space (sorry for the rookie mistake)
TmSalviano Mar 4, 2025
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
4 changes: 2 additions & 2 deletions src/items/enumerations.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -320,8 +320,8 @@ enum ZeroVariants {}
```

r[items.enum.empty.uninhabited]
Zero-variant enums are equivalent to the [never type], but they cannot be
coerced into other types.
Only the [never type] can be coerced into zero-variant enums. Conversely,
zero-variant enums cannot be coerced into any other type.

```rust,compile_fail
# enum ZeroVariants {}
Expand Down