Narrow union types without remaining choices to void
Narrow union types without remaining choices to void. This time taking into account union types and single types sources.