Merge branch 'master' into project

2020-02-03 09:26:43 +01:00
parent 8ff2ea4b38 a49c757b8a
commit 3101e43aa6
18 changed files with 182 additions and 14 deletions
--- a/test/test_inference/test_gradual/test_conversion.py
+++ b/test/test_inference/test_gradual/test_conversion.py
@@ -62,3 +62,11 @@ def test_goto_import(Script, skip_pre_python35):
    assert d.is_stub()
    d, = Script(code).goto()
    assert not d.is_stub()
+
+
+def test_os_stat_result(Script):
+    d, = Script('import os; os.stat_result').goto()
+    assert d.is_stub()
+    n = d._name
+    # This should not be a different stub name
+    assert convert_names([n]) == [n]