Some people on rust-lang/rfcs#1066 asked about preventing reference cycles.
The last time we had a way of preventing reference cycles, it used
Freeze, which prevented all use of
RefCell. I think that with OIBIT we can have a better way: gist
Assuming an implementation of
#[inductive], this prevents all
T > RefCell > Rc > T cycles.