Commitb013cc0

authored

SupportTypeAliasType in a class scope (#17038)

1 parent61a4900 commitb013cc0Copy full SHA for b013cc0

File tree

-1

lines changed

-1

lines changed

Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -3657,7 +3657,7 @@ def check_and_set_up_type_alias(self, s: AssignmentStmt) -> bool:`
`3657`	`3657`	`returnFalse`
`3658`	`3658`
`3659`	`3659`	`non_global_scope=self.typeorself.is_func_scope()`
`3660`		`-ifnotpep_613andisinstance(rvalue,RefExpr)andnon_global_scope:`
	`3660`	`+ifnotpep_613andnotpep_695andisinstance(rvalue,RefExpr)andnon_global_scope:`
`3661`	`3661`	`# Fourth rule (special case): Non-subscripted right hand side creates a variable`
`3662`	`3662`	`# at class and function scopes. For example:`
`3663`	`3663`	`#`

Lines changed: 5 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -1074,6 +1074,11 @@ TestType = TypeAliasType("TestType", Union[int, str])`
`1074`	`1074`	`x: TestType = 42`
`1075`	`1075`	`y: TestType = 'a'`
`1076`	`1076`	`z: TestType = object() # E: Incompatible types in assignment (expression has type "object", variable has type "Union[int, str]")`
	`1077`	`+`
	`1078`	`+class A:`
	`1079`	`+ ClassAlias = TypeAliasType("ClassAlias", int)`
	`1080`	`+xc: A.ClassAlias = 1`
	`1081`	`+yc: A.ClassAlias = "" # E: Incompatible types in assignment (expression has type "str", variable has type "int")`
`1077`	`1082`	`[builtins fixtures/tuple.pyi]`
`1078`	`1083`
`1079`	`1084`	`[case testTypeAliasTypeInvalid]`

Comments

(0)