This fixes #16586, see `Note [NOINLINE someNatVal]` for details. (cherry picked from commit 59f4cb6f)