Check if call's block doesn't have a type, and make it NoReturn