[Typing-sig] assigning a NoReturn function call