Skip to content

Commit

Permalink
Merge pull request #445 from Nadrieril/Nadrieril-patch-1
Browse files Browse the repository at this point in the history
Stabilize `min_exhaustive_patterns`
  • Loading branch information
ehuss authored Aug 11, 2024
2 parents 9f871ce + d5ba0cb commit 6ecf95c
Showing 1 changed file with 2 additions and 4 deletions.
6 changes: 2 additions & 4 deletions src/exotic-sizes.md
Original file line number Diff line number Diff line change
Expand Up @@ -137,9 +137,9 @@ because the `Err` case doesn't actually exist (strictly speaking, this is only
an optimization that is not guaranteed, so for example transmuting one into the
other is still Undefined Behavior).

The following *could* also compile:
The following also compiles:

```rust,compile_fail
```rust
enum Void {}

let res: Result<u32, Void> = Ok(0);
Expand All @@ -148,8 +148,6 @@ let res: Result<u32, Void> = Ok(0);
let Ok(num) = res;
```

But this trick doesn't work yet.

One final subtle detail about empty types is that raw pointers to them are
actually valid to construct, but dereferencing them is Undefined Behavior
because that wouldn't make sense.
Expand Down

0 comments on commit 6ecf95c

Please sign in to comment.