...when the indirectee points into the same module. In such a case an assembly alias is enough.
See note in commit and commit message.
Such intra-module static indirections arise e.g. as newtype wrappers of literal values. See testcase in the commit.
Please ignore all the commit history, and only look at the last commit. It is basically a squashed one without some experiments in the core simplifier. (Now there are also a few follow-on commits, which basically track the review comments.)