Skip to content

Several crashes on pyright test suite #14201

@hauntsaninja

Description

@hauntsaninja

https://github.com/microsoft/pyright/tree/main/packages/pyright-internal/src/tests/samples

assignment1.py
assignmentExpr4.py
super1.py
unpack1.py

The crash on unpack1.py is probably most worth looking into

~/dev/pyright/packages/pyright-internal/src/tests/samples main λ mypy --show-traceback assignment1.py
assignment1.py:58: error: INTERNAL ERROR -- Please try using mypy master on GitHub:
https://mypy.readthedocs.io/en/stable/common_issues.html#using-a-development-mypy-build
Please report a bug at https://github.com/python/mypy/issues
version: 0.991
Traceback (most recent call last):
  File "mypy/semanal.py", line 6047, in accept
  File "mypy/nodes.py", line 1236, in accept
  File "mypy/semanal.py", line 4264, in visit_expression_stmt
  File "mypy/nodes.py", line 2213, in accept
  File "mypy/semanal.py", line 4945, in visit_list_comprehension
  File "mypy/nodes.py", line 2198, in accept
  File "mypy/semanal.py", line 4968, in visit_generator_expr
  File "mypy/nodes.py", line 1928, in accept
  File "mypy/semanal.py", line 2518, in visit_assignment_expr
  File "mypy/semanal.py", line 3428, in analyze_lvalue
  File "mypy/semanal.py", line 3477, in analyze_name_lvalue
  File "mypy/semanal.py", line 5882, in current_symbol_table
AssertionError: Escaping comprehension from invalid scope
assignment1.py:58: : note: use --pdb to drop into pdb
~/dev/pyright/packages/pyright-internal/src/tests/samples main λ mypy --show-traceback assignmentExpr4.py
assignmentExpr4.py:38: error: INTERNAL ERROR -- Please try using mypy master on GitHub:
https://mypy.readthedocs.io/en/stable/common_issues.html#using-a-development-mypy-build
Please report a bug at https://github.com/python/mypy/issues
version: 0.991
Traceback (most recent call last):
  File "mypy/semanal.py", line 6047, in accept
  File "mypy/nodes.py", line 1236, in accept
  File "mypy/semanal.py", line 4264, in visit_expression_stmt
  File "mypy/nodes.py", line 2213, in accept
  File "mypy/semanal.py", line 4945, in visit_list_comprehension
  File "mypy/nodes.py", line 2198, in accept
  File "mypy/semanal.py", line 4968, in visit_generator_expr
  File "mypy/nodes.py", line 1928, in accept
  File "mypy/semanal.py", line 2518, in visit_assignment_expr
  File "mypy/semanal.py", line 3428, in analyze_lvalue
  File "mypy/semanal.py", line 3477, in analyze_name_lvalue
  File "mypy/semanal.py", line 5882, in current_symbol_table
AssertionError: Escaping comprehension from invalid scope
assignmentExpr4.py:38: : note: use --pdb to drop into pdb
~/dev/pyright/packages/pyright-internal/src/tests/samples main λ mypy --show-traceback super1.py
super1.py:39: error: "super" with a single argument not supported  [misc]
super1.py:42: error: "super" with a single argument not supported  [misc]
super1.py:49: error: INTERNAL ERROR -- Please try using mypy master on GitHub:
https://mypy.readthedocs.io/en/stable/common_issues.html#using-a-development-mypy-build
Please report a bug at https://github.com/python/mypy/issues
version: 0.991
Traceback (most recent call last):
  File "mypy/checkexpr.py", line 4665, in accept
  File "mypy/nodes.py", line 2085, in accept
  File "mypy/checkexpr.py", line 4308, in visit_super_expr
AssertionError: 
super1.py:49: : note: use --pdb to drop into pdb
~/dev/pyright/packages/pyright-internal/src/tests/samples main λ mypy --show-traceback unpack1.py
unpack1.py:27: error: Argument 1 to "int_only" has incompatible type "object"; expected "int"  [arg-type]
unpack1.py:31: error: Argument 1 to "int_only" has incompatible type "object"; expected "int"  [arg-type]
unpack1.py:34: error: Can use starred expression only as assignment target  [misc]
unpack1.py:42: error: "reveal_type" expects 1 argument  [misc]
unpack1.py:45: error: "reveal_type" expects 1 argument  [misc]
unpack1.py:48: error: "reveal_type" expects 1 argument  [misc]
unpack1.py:34: error: INTERNAL ERROR -- Please try using mypy master on GitHub:
https://mypy.readthedocs.io/en/stable/common_issues.html#using-a-development-mypy-build
Please report a bug at https://github.com/python/mypy/issues
version: 0.991
Traceback (most recent call last):
  File "mypy/checker.py", line 573, in accept
  File "mypy/nodes.py", line 1301, in accept
  File "mypy/checker.py", line 2620, in visit_assignment_stmt
  File "mypy/checker.py", line 2848, in check_assignment
  File "mypy/erasetype.py", line 185, in remove_instance_last_known_values
  File "mypy/types.py", line 2530, in accept
AssertionError: 
unpack1.py:34: : note: use --pdb to drop into pdb

Metadata

Metadata

Assignees

No one assigned

    Labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions