But he said it doesn't return default:
That is not exactly 100% TS' words
on if line it does nothing does not go paste if, does not go into exit, nothing. No errors or exceptions. ?
Indeed: "it does not go into exit" and "it does nothing" (with the conclusion, no errors or exceptions).
Last part is covered by the documentation as linked.
The statement "it does nothing" can be analyzed as follows: the first line that gets executed when the condition is met is the line containing the exit statement. In the particular example of TS, the condition is true thus exit gets executed (as shown per your example as well). And indeed that does nothing (further) except for executing the exit statement (no idea what TS is expecting to happen).
The statement "it does not go into exit" deserves further explanation from TS, because the context is important there. An exit statement only exits a function (and if that function happens to be the main function it will exit the program). With the code as shown by TS it is impossible for TS to conclude that the exit statement is not executed.