Skip to content

exec_casting test fail on x86_64-darwin #114

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
GaetanLepage opened this issue Nov 10, 2024 · 2 comments
Open

exec_casting test fail on x86_64-darwin #114

GaetanLepage opened this issue Nov 10, 2024 · 2 comments
Labels

Comments

@GaetanLepage
Copy link

Describe the bug
The exec_casting test fail only on x86_64-darwin since the latest stable version (0.0.70).

failures:

---- exec_casting stdout ----
Testing tests/casting.py ...
errors: Error[#4335]: File tests/casting.py, line 5, <module>

5 | assert isinstance(s, int)  # ERR
  :                   -

s: {"a"} cannot be cast to Int

Error[#1450]: File tests/casting.py, line 14, <module>

14 | d = typing.cast(dict[str, int], [1, 2, 3])
   : -
   : `- Type Dict({Str..Obj: Int}) is a subtype of Indexable({"a"}..Obj, Int) but not of Iterable(Str..Obj..Obj)

Dict({Str..Obj: Int}) does not implement Iterable(Str..Obj..Obj) and Indexable({"a"}..Obj, Int)


Error: "Expected 1 errors, found 2"


failures:
    exec_casting

test result: FAILED. 20 passed; 1 failed; 0 ignored; 0 measured; 1 filtered out; finished in 0.13s

Reproducible Code

$ cargo test

Expected behavior
The tests succeed

Screenshots
If applicable, add screenshots to help explain your problem.

Environment

  • OS: NixOS
  • Version: pylyzer 0.0.70

Additional context

Updating pylyzer to 0.0.70 in nixpkgs.
NixOS/nixpkgs#354954

@GaetanLepage
Copy link
Author

Note: I am executing the test from the Rosetta layer on an aarch64-darwin machine.

Copy link

github-actions bot commented Feb 7, 2025

This issue is stale because it has been open for 60 days with no activity.

@github-actions github-actions bot added the stale label Feb 7, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant