dis: LOAD_SPECIAL should mention the name of the attribute

[JelleZijlstra]

Feature or enhancement

Proposal:

>>> import dis
>>> dis.dis("with x: pass")
 0 RESUME 0

 1 LOAD_NAME 0 (x)
 COPY 1
 LOAD_SPECIAL 1
 SWAP 2
 SWAP 3
 LOAD_SPECIAL 0

It should say "LOAD_SPECIAL 1 (__exit__)" or something similar.

I'll work on this.

cc @markshannon who added LOAD_SPECIAL in #120640

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

Linked PRs

• gh-120780: Show attribute name for LOAD_SPECIAL in dis output #120781