This is good info, but I don't fully understand why pinning makes self-references safe. I thought the problem with self-references was that they interfere with single-ownership, which is required for automatic deallocation?
I guess maybe if direct self-referencing is a distinct case from indirect self-referencing then it might not be problematic for single-ownership?