The plugin does not need their unfoldings, and cannot process their unfoldings: neither can the plugin handle Text.pack, nor does it have a handler for obfuscatedId.
Thus obfuscatedId makes no sense whatsoever. And there is no benefit to Magic.noInline compared to NOINLINE.
The plugin does not need their unfoldings, and cannot process their unfoldings: neither can the plugin handle
Text.pack, nor does it have a handler forobfuscatedId.Thus
obfuscatedIdmakes no sense whatsoever. And there is no benefit toMagic.noInlinecompared toNOINLINE.