I pitched this here a while back. There is a proof of concept that you may find useful, though frankly it is of low quality (I am not a compiler engineer).
It also includes support for dynamic member lookup, which was my personal motivation to try to get this to work in the first place. There's some discussion of alternatives in the thread that might be useful to you, if that's your motivation for taking this work up.
Edit: just realized that this is already linked at the top of the pitch. My mistake for not reading carefully. I still think there is some value in looking at some of the extensions described there fwiw.