Skip to content

Commit 481f2ca

Browse files
committed
add some real-world examples
1 parent 53d8d84 commit 481f2ca

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

text/0000-maybe-dangling.md

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -84,6 +84,10 @@ The goal of this RFC is to
8484

8585
(Making the 2nd example UB-free without code changes would incur cost across the ecosystem, see the alternatives discussed below.)
8686

87+
The examples described above are far from artificial, here are some real-world crates that need `MaybeDangling` to ensure their soundness (some currently crudely work-around that problem with `MaybeUninit` but that is really not satisfying):
88+
- [Yoke](https://github.com/unicode-org/icu4x/issues/3696) and [Yoke again](https://github.com/unicode-org/icu4x/issues/2095) (the first needs opting-out of `dereferenceable` for the yoke, the latter needs opting-out of `noalias` for both yoke and cart)
89+
- [ouroboros](https://github.com/joshua-maros/ouroboros/issues/88)
90+
8791
# Guide-level explanation
8892
[guide-level-explanation]: #guide-level-explanation
8993

0 commit comments

Comments
 (0)