Skip to content

Commit

Permalink
Stabilize min_exhaustive_patterns
Browse files Browse the repository at this point in the history
  • Loading branch information
Nadrieril committed Aug 10, 2024
1 parent 9f871ce commit d5ba0cb
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 d5ba0cb

Please sign in to comment.