Skip to content

Fixed case with infinite recursion in TypeAlias #1841

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

Merged
merged 2 commits into from
Feb 22, 2023

Conversation

tochilinak
Copy link
Member

Description

Fixes #1825.

In new version of mypy they added recursive type aliases. Those are used in typeshed.

Added new Python type: TypeAlias. Updated utbot_mypy_runner.

How to test

Automated tests

The proposed changes are verified with unit test:
utbot-python/src/test/kotlin/org/utbot/python/newtyping/mypy/MypyStorageKtTest.kt, function testTypeAlias

Manual tests

Checked plugin on Linux on https://github.com/TheAlgorithms/Python/blob/master/graphs/boruvka.py.

Self-check list

Check off the item if the statement is true. Hint: [x] is a marked item.

Please do not delete the list or its items.

  • I've set the proper labels for my PR (at least, for category and component).
  • PR title and description are clear and intelligible.
  • I've added enough comments to my code, particularly in hard-to-understand areas.
  • The functionality I've repaired, changed or added is covered with automated tests.
  • Manual tests have been provided optionally.
  • The documentation for the functionality I've been working on is up-to-date.

@tochilinak tochilinak added comp-fuzzing Issue is related to the fuzzing lang-python Issue is related to python support ctg-bug-fix PR is fixing a bug labels Feb 22, 2023
@tamarinvs19 tamarinvs19 merged commit 55d4a7f into main Feb 22, 2023
@tamarinvs19 tamarinvs19 deleted the tochilinak/type_alias_fix branch February 22, 2023 13:56
sofurihafe pushed a commit that referenced this pull request Feb 27, 2023
@alisevych alisevych added this to the 2023.03 Release milestone Mar 21, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
comp-fuzzing Issue is related to the fuzzing ctg-bug-fix PR is fixing a bug lang-python Issue is related to python support
Projects
None yet
Development

Successfully merging this pull request may close these issues.

StackOverflowError during Python test generation on complex algorithm
3 participants