Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Support TypeAliasType #16926

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

Merged
JelleZijlstra merged 18 commits into from
Mar 11, 2024
Merged

Support TypeAliasType #16926

Changes from 1 commit
Commits
Show all changes
18 commits
Select commit Hold shift + click to select a range
f9b3e71
Support `TypeAliasType` explicit call
sobolevn Dec 10, 2023
23acb5c
Fix CI
sobolevn Dec 10, 2023
9612a96
Support type params in type alias type call
hamdanal Feb 17, 2024
9e19087
Update tests
hamdanal Feb 17, 2024
916e686
Merge remote-tracking branch 'upstream/master' into issue-16614
hamdanal Feb 17, 2024
2f30c87
.
hamdanal Feb 17, 2024
310c75d
Address part of CR
hamdanal Feb 20, 2024
7ffa87f
Merge remote-tracking branch 'upstream/master' into issue-16614
hamdanal Feb 20, 2024
c7b6357
Add test requested in CR
hamdanal Feb 20, 2024
5d1da8b
Use Jelle's wording
hamdanal Feb 21, 2024
aaf19dd
Fix unbound PS or TVT in Callable
hamdanal Feb 21, 2024
c020b79
.
hamdanal Feb 21, 2024
994fbb9
Move test to py312
hamdanal Feb 21, 2024
0f13c06
Revert change to analyze_callable_args
hamdanal Feb 22, 2024
99df3dc
Merge branch 'master' into issue-16614
JelleZijlstra Mar 11, 2024
54374a3
Update mypy/semanal.py
JelleZijlstra Mar 11, 2024
ba58bef
Update mypy/semanal.py
JelleZijlstra Mar 11, 2024
a451e66
Update mypy/semanal.py
JelleZijlstra Mar 11, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Update mypy/semanal.py
  • Loading branch information
@JelleZijlstra
JelleZijlstra authored Mar 11, 2024
commit 54374a3632c4e5dc85b4e3cab3ff5300d3edb626
3 changes: 1 addition & 2 deletions mypy/semanal.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2032,8 +2032,7 @@ def analyze_unbound_tvar(self, t: Type) -> tuple[str, TypeVarLikeExpr] | None:
def analyze_unbound_tvar_impl(
self, t: UnboundType, is_unpacked: bool = False, is_typealias_param: bool = False
) -> tuple[str, TypeVarLikeExpr] | None:
if is_unpacked and is_typealias_param:
assert False, "Unreachable"
assert not unpacked or not is_typelias_param, "Mutually exclusive conditions"
Comment thread
JelleZijlstra marked this conversation as resolved.
Outdated
sym = self.lookup_qualified(t.name, t)
if sym and isinstance(sym.node, PlaceholderNode):
self.record_incomplete_ref()
Expand Down