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-20057 Partially support type checking between type and typing.Type[]

Browse Source
This commit is contained in:
Mikhail Golubev
2017-03-06 15:20:44 +03:00
parent 30c007d800
commit c700e57db4
1 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/src/com/jetbrains/python/psi/types/PyTypeChecker.java
+6 -1
View File
@@ -69,10 +69,15 @@ public class PyTypeChecker {
final PyClassType classType = (PyClassType)actual;
final PyBuiltinCache builtinCache = PyBuiltinCache.getInstance(classType.getPyClass());
if (actual == builtinCache.getObjectType(PyNames.BASESTRING)) {
if (actual.equals(builtinCache.getObjectType(PyNames.BASESTRING))) {
return match(expected, builtinCache.getStrOrUnicodeType(), context, substitutions, recursive);
}
}
if (expected instanceof PyClassType &&
expected.equals(PyBuiltinCache.getInstance(((PyClassType)expected).getPyClass()).getTypeType()) &&
actual instanceof PyInstantiableType && ((PyInstantiableType)actual).isDefinition()) {
return true;
}
if (expected instanceof PyInstantiableType && actual instanceof PyInstantiableType
&& ((PyInstantiableType)expected).isDefinition() ^ ((PyInstantiableType)actual).isDefinition()) {
return false;