Hi, thank you for your comment!

So, I think, this case is exactly for unknown type (I made a similar sample in the “narrowing down” part)

Take a look, this is the meaningful difference between “Here can be anything” and “This type is unknown for us”