Fix TypeIs
negative narrowing of union of generics
#18193
Draft
Loading