> The general idea is to be able to write a field access to a weak link as sometype.name > when what's happening under the hood is sometype.upgrade().unw

> The general idea is to be able to write a field access to a weak link as sometype.name > when what's happening under the hood is sometype.upgrade().unwrap().borrow().name You could easily implement this with no language-level changes as an auto-fixable compiler diagnostic. The compiler would error out when it sees the type-mismatched .name, but it would give you an easy way of changing it to its proper form. You just avoid making the .name form permanent syntactic sugar (which is way too opaque for a low-level language like Rust), it gets replaced in development.