Another great post at Interrupt, thank you @chrisc! This is the first time I am reading about ownership_returns and ownership_takes and it looks like some powerful tool beyond malloc-like functions (especially in combination with ownership_holds).
I failed to find real-world examples on Github. Are you aware of any non-trivial examples I could learn from?