Can NOINLINE fail to prevent inlining?

jaror:

That issue is about worker-wrapper, not inlining.

It is about inlining because the wrapper gets inlined despite NOINLINE on the original definition. I’ve observed it in production, which is how I know about the issue.

The original question was

brandonchinn178:

If a top-level variable foo :: Foo is annotated with NOINLINE, are there any situations where GHC would inline it anyway?

I answered that.