"""may_dangle""" stabilization

We're currently coming up with a plan for how to get may\_dangle, or at least some variant of it, stabilized. Our current approach is to attempt to treat the entirety of dropck as a form of bounds and typestate, which we believe to be equivalent to the existing dropck rules.

But anyway, we need to become more familiar with how may\_dangle is used. It seems to us that may\_dangle isn't all that important because nobody seems to wanna push for its stabilization, but we believe crates like ouroboros or self_cell or (our own) selfref could change that, and having a better idea of how these things are to be used is necessary before we can write a proper RFC about it.

What do you know about usages of may\_dangle, which we could learn from and build an RFC upon?