rename RcBox to RcInner for consistency#131521

Merged

bors merged 3 commits intorust-lang:masterfrom jdonszelmann:rc

Oct 15, 2024

+108-105

Commits on Oct 10, 2024

rename RcBox to RcInner for consistency
jdonszelmann
committed

Commits on Oct 11, 2024

rename RcBox in other places too
jdonszelmann
committed

Commits on Oct 13, 2024

rename rcbox in other places as per review comments
jdonszelmann
committed