I love this idea!!

[warlord500]

this isn't really an issue per se more of a quick remark!!.
this seems quite cool or amazing.
it might make designing things like many types of linked lists in rust much safer than currently by removing a huge amount of unsafe even if a still must be used! it would be a vast improvement over the current status quo of total unsafe code!.
so far I cant see a flaw in the reasoning that would make this code unsafe in anyway!!
however, I do believe while this can get a lot closer to unsafe pointers performance there can be cases like doubly linked circular list where an enum to say separate the circular links with owner ship slight over with enum discriminant.

i would love to read like a thesis paper on this design!!

[matthieu-m]

Hi :)

You may be interested in looking at https://github.com/matthieu-m/ghost-collections.

I combined the usage of GhostCell with StaticRc to implement collections in 100% safe Rust, however I didn't quite manage to reach the full extent of what raw pointers could do:

• linked_list has no memory overhead, but some operations are a bit complicated than they ought to be.
• tripod_list has all operations with the expected algorithmic complexity, but it comes at the cost of 1 StaticRc of overhead per node unfortunately.

I am not sure if this is intrinsic to StaticRc, or I just didn't quite figure out how to use it well yet.