. . "Any code that uses a function that can return different types depending on the context will have to check the returned value." . .