You may be interested in this thread; TLDR, if you don't use #[may_dangle], dropck does the right thing without it today (but if it's not a hinderence, might as well leave it in IMO).
(Just a passing comment; I didn't review the code.)
2 Likes