Sorry, I should have been more clear on this. `availableExternally` is set (or rather not un-set) if a function is emitted during an extra inlining `semantic3`, so that it will end up with `available_externally` linkage in the IR. Unless I'm missing something, it is thus not correct to set the attribute here at all, as it doesn't actually control whether a function will be emitted or not, at least if you didn't change the related code. Also, even if it did cause the body to be emitted, you'd most likely not want to set the attribute for `noinline` for obvious reasons.