PRE SIP: ThisFunction | scope injection (similar to kotlin receiver function)

You’re just saying that they’re different, which is known, and that’s exactly the inconsinstency I’m talking about - do they have to be different wrt extension methods?