I think these should be basically the same as comprehensions (astral-sh/ruff#20962, #1388), except that types.GeneratorType is covariant. That means that Literal promotion probably won't be necessary, bidirectional inference is less important, and unioning with Unknown probably won't be necessary