This seems to overlap with my proposal, which was postponed because it could possibly be implemented as a crate.
Pre-RFC: [Idea] Pointer to Field
RFC: https://github.com/rust-lang/rfcs/pull/2708
Related Crate: GitHub - RustyYato/generic-field-projection: This crate was created to implement the ideas in this RFC #rust-lang/rfcs/2708