Can NOINLINE fail to prevent inlining?

Took a stab at a proposal: GHC Proposal: Top-level IO initialized bindings