Should type inference detect `where` clause filters?

For example, if my collection has an attribute that could be

string | undefined

string | undefined

, but I have a

where

where

condition of

not(isUndefined(item.attribute))

not(isUndefined(item.attribute))

is it desirable and possible that the type inference of items in the returned dataset is just

string

string

?

I've found several situations where that would be helpful in my codebase, but open to the possibility that this should not work that way.