MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

PY-52760 Type checker fails at tuple unpacking into a dictionary

Browse Source 
GitOrigin-RevId: dbf1181099501764ac9b0d42813b37b48882379c
This commit is contained in:
Petr
2024-04-02 15:05:56 +00:00
committed by intellij-monorepo-bot
parent 2d3d4c8470
commit cdfef53944
2 changed files with 23 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/python-psi-impl/src/com/jetbrains/python/psi/types/PyCollectionTypeUtil.kt
+2 -4
View File
@@ -11,7 +11,6 @@ import com.jetbrains.python.codeInsight.dataflow.scope.ScopeUtil
import com.jetbrains.python.psi.*
import com.jetbrains.python.psi.impl.PyBuiltinCache
import com.jetbrains.python.psi.resolve.PyResolveContext
import com.jetbrains.python.pyi.PyiUtil
object PyCollectionTypeUtil {
@@ -360,9 +359,8 @@ object PyCollectionTypeUtil {
}
var rightValue = assignment.assignedValue
if (tupleParent != null && rightValue is PyTupleExpression) {
val rightTuple = rightValue as PyTupleExpression?
val rightElements = rightTuple!!.elements
if (tupleParent != null) {
val rightElements = PyUtil.flattenedParensAndLists(rightValue)
val indexInAssignment = tupleParent.elements.indexOf(node)
if (indexInAssignment < rightElements.size) {
rightValue = rightElements[indexInAssignment]
python/testSrc/com/jetbrains/python/PyTypeTest.java
+21
View File
@@ -1125,6 +1125,27 @@ public class PyTypeTest extends PyTestCase {
);
}
// PY-52760
public void testTupleLiteralDestructuringAssignmentToDict() {
doTest(
"Dict[str, int]",
"""
expr = {}
expr["a"], _ = (1, 2)
"""
);
}
public void testListLiteralDestructuringAssignmentToDict() {
doTest(
"Dict[str, int]",
"""
expr = {}
expr["a"], _ = [1, 2]
"""
);
}
public void testConstructorUnification() {
doTest("C[int]",
"""