https://github.com/labath commented: I think this is good strategy -- take the existing implementation of `.` and improve that later. I have one comment about the location of the members, but otherwise, I think this looks good. https://github.com/llvm/llvm-project/pull/138093