This is possible with type predicates, example: https://www.typescriptlang.org/play?#code/C4TwDgpgBAYg9nKBeKBvKA7AhgWwgLigHIAzBIgbigDcsAbAVwMwZwCMIAnKAXwoFgAUKE

This is possible with type predicates, example: https://www.typescriptlang.org/play?#code/C4TwDgpgBAYg9nKBeKBvKA7AhgWwgLigHIAzBIgbigDcsAbAVwMwZwCMIAnKAXwoFgAUKEhQAQlm4p02PISJtJlGvSaEAzsE4BLDAHNeAwUIDGcDJqjb18RCgAUtRs1tQAPuMkBKQk6ZX1WARkAD4VZwA6WWgkWOIyOEohIQATCBM6SWgzC2AoSU4sEEJ7Vw8JTi8AbQBdI1NzSxJtOmAuCBTkfM5CkAjm1q57a1svIwB6cahpqAA9AH4hIA https://www.typescriptlang.org/play?#code/C4TwDgpgBAYg9nKBeK... docs: https://www.typescriptlang.org/docs/handbook/2/narrowing.html#using-type-predicates https://www.typescriptlang.org/docs/handbook/2/narrowing.htm...