https://github.com/Xazax-hun approved this pull request. The change itself looks good to me, but I wonder what is the reason that we only want to do this canonicalization when we access fields? https://github.com/llvm/llvm-project/pull/118096