New GitHub issue #119477 from tekknolagi:<br>

<hr>

<pre>
# Feature or enhancement

### Proposal:

Currently we can reason about code like `a + b` if `a` and `b` are already known to be ints, but the type information disappears as soon as `a` and `b` get stored into memory such as tuples. We should be able to reason about

```python
tup = (a, b)
tup[0] + tup[1]
```

and have the optimizer "see through" the `BUILD_TUPLE` instruction.

### Has this already been discussed elsewhere?

This is a minor feature, which does not need previous discussion elsewhere

### Links to previous discussion of this feature:

_No response_
</pre>

<hr>

<a href="https://github.com/python/cpython/issues/119477">View on GitHub</a>
<p>Labels: type-feature</p>
<p>Assignee: </p>