The issue is that without the conservative approximation, there will be recursive references that are undetected (i.e., the recursion detection is unsound), which causes unexpected cycles, which causes potential infinite looping.

Doing another pass over the type aliases might make the information more precise.