New GitHub issue #101241 from iritkatriel:<br>

<hr>

<pre>

The opargs in the compiler are currently just ints, with no context. When the optimizer or assembler need to know what the oparg means, they determine this from the opcode. The code generator can associate a type with each oparg, because it has this context. 

This will be useful if we go with the register machine (where we need types) but it is also useful to do if we stay with the stack machine because it makes the code more robust by making the type explicit rather than relying on implicit knowledge about the opcode. 

</pre>

<hr>

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