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.

Sign up for GitHub

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

Jump to bottom

Annotated assign is unsatisfiable #58

Open

adsharma opened this issue Jul 22, 2021 · 1 comment

adsharma commented Jul 22, 2021

def foo():
    j: float = 200
    return 42

This type checks ok with mypy and pyright. But when run with typpete I get:

Constraints collection took  0.12059378623962402s
Constraints solving took  0.0006952285766601562s
Check: unsat
WARNING: optimization with quantified constraints is not supported
Solving relaxed model took  0.009663581848144531s
Unsat:
Body type in line 1
Writing output to inference_output

The text was updated successfully, but these errors were encountered:

Author

adsharma commented Jul 22, 2021

Fixed by adsharma@a6a406f

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment