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-19858 Fixed: type checker: wrong type for List[List] elements

Browse Source 
Improve type inference for list.__getitem__ call by analyzing passed arguments
This commit is contained in:
Semyon Proshev
2016-07-29 14:30:54 +03:00
parent 78fd3b00cf
commit 4d218b15cd
6 changed files with 108 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/psi-api/src/com/jetbrains/python/PyNames.java
+1
View File
@@ -185,6 +185,7 @@ public class PyNames {
public static final String TUPLE = "tuple";
public static final String SET = "set";
public static final String SLICE = "slice";
public static final String KEYS = "keys";
public static final String EXTEND = "extend";