PR #17348 Use polymorphic inference in unification

Use polymorphic inference in unification #17348

ilevkivskyi merged 10 commits into python:master from ilevkivskyi:unify-poly

Use polymorphic inference in unification

fad1094a

Plain name for implementation

a899100f

ilevkivskyi requested a review from

JukkaL 2 years ago

ilevkivskyi requested a review from

hauntsaninja 2 years ago

[pre-commit.ci] auto fixes from pre-commit.com hooks

a1be8a4c

Fix constraint inference for Parameters

66e4e933

Fix regression; improve error messages

c7692904

Update tests

95c6421b

[pre-commit.ci] auto fixes from pre-commit.com hooks

0ee2ee1c

Fix couple more bugs exposed by the PR

52014c75

[pre-commit.ci] auto fixes from pre-commit.com hooks

53288505

Move comment after reformat

99e09569

JukkaL approved these changes on 2024-06-10

ilevkivskyi merged 83d54ffb into master 2 years ago

ilevkivskyi deleted the unify-poly branch 2 years ago

Reviewers

JukkaL

hauntsaninja

Assignees

No one assigned

Labels

None yet

Milestone

No milestone