It results in different behavior in the compiler. You don't have to check the return type of a function in which you call a function return never. Using a diffe

It results in different behavior in the compiler. You don't have to check the return type of a function in which you call a function return never. Using a different symbol gives you a hint why the code works, if you used `Never` you'd have to KNOW it works differently.