Idea: Alias as a common abstraction over Share and Reborrow

I have been thinking about the relationship between the proposed Reborrow work and the recent Share/cheap-clone ideas. I think there may be a useful common abstraction above them: unsafe auto trait Alias {} trait Share: Alias {} trait Reborrow: Alias {} The basic idea is that Alias means: Another handle to the same logical resource can be created without transferring ownership of that resource away from the original value. Share and Reborrow are then two different aliasing disciplines. F...