Skip to content

incorrect source ranges for not a in b #137843

@15r10nk

Description

@15r10nk

Bug report

Bug description:

python includes the not in the source ranges with 3.14.0-rc2.

class C:
    def __contains__(self, other):
        assert False


print(not 1 in C())

output (Python 3.14.0rc2+):

Traceback (most recent call last):
  File "/home/frank/projects/executing/example.py", line 6, in <module>
    print(not 1 in C())
          ^^^^^^^^^^^^
  File "/home/frank/projects/executing/example.py", line 3, in __contains__
    assert False
           ^^^^^
AssertionError

This was not the case in 3.13

output (Python 3.13.1):

Traceback (most recent call last):
  File "/home/frank/projects/executing/example.py", line 6, in <module>
    print(not 1 in C())
              ^^^^^^^^
  File "/home/frank/projects/executing/example.py", line 3, in __contains__
    assert False
           ^^^^^
AssertionError

I bisected the problem down to 38642bf @WolframAlph maybe you want to take a look at it?

This was the test which I used to bisect the problem:

import dis

for inst in dis.Bytecode(compile("not a in b","","exec")):
    if inst.opname=="CONTAINS_OP":
        assert inst.positions.col_offset==4

CPython versions tested on:

3.14, 3.15, CPython main branch

Operating systems tested on:

No response

Metadata

Metadata

Assignees

No one assigned

    Labels

    3.14bugs and security fixes3.15new features, bugs and security fixesinterpreter-core(Objects, Python, Grammar, and Parser dirs)type-bugAn unexpected behavior, bug, or error

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions