I’m not sure at all if this is the best place to discuss this, but I feel this is not worth a new thread: I made a highly tentative attempt at a pure trait/proc macro (no compiler modification required) approach: https://github.com/dureuill/delegate_test to delegate trait implementation to field.
Biggest drawback is that delegable traits must be marked as such. Also the implementation is very incomplete.
However I think this might give some directions for a “trait-based” delegation approach?
Please ignore if irrelevant.