noreturn functions end basic blocks
Unreachable code tests
Unreachable scope - needs debug label from feature/inline