Can NOINLINE fail to prevent inlining?

effectfully:

See this issue.

That issue is about worker-wrapper, not inlining.

I really think NOINLINE is safe for defining a top-level IORef.