From b8dfbc5d189a8c7cde53f16d57eba2c2823d1e56 Mon Sep 17 00:00:00 2001
From: Dave Halter <davidhalter88@gmail.com>
Date: Sun, 1 Dec 2019 23:50:46 +0100
Subject: [PATCH] A CompiledInstance is not really compiled, it's an instance
 of a compiled class value

---
 jedi/inference/value/instance.py     |  5 ++---
 test/conftest.py                     |  9 +++++++++
 test/test_inference/test_compiled.py | 13 +++++++++++++
 3 files changed, 24 insertions(+), 3 deletions(-)

diff --git a/jedi/inference/value/instance.py b/jedi/inference/value/instance.py
index b05a3380..586b0329 100644
--- a/jedi/inference/value/instance.py
+++ b/jedi/inference/value/instance.py
@@ -112,6 +112,8 @@ class AbstractInstanceValue(Value):
 
 
 class CompiledInstance(AbstractInstanceValue):
+    # This is not really a compiled class, it's just an instance from a
+    # compiled class.
     def __init__(self, inference_state, parent_context, class_value, arguments):
         super(CompiledInstance, self).__init__(inference_state, parent_context,
                                                class_value)
@@ -130,9 +132,6 @@ class CompiledInstance(AbstractInstanceValue):
     def name(self):
         return compiled.CompiledValueName(self, self.class_value.name.string_name)
 
-    def is_compiled(self):
-        return True
-
     def is_stub(self):
         return False
 
diff --git a/test/conftest.py b/test/conftest.py
index 298a8219..76ba6e1a 100644
--- a/test/conftest.py
+++ b/test/conftest.py
@@ -10,6 +10,7 @@ from . import refactor
 
 import jedi
 from jedi.api.environment import InterpreterEnvironment
+from jedi.inference.compiled.value import create_from_access_path
 
 
 def pytest_addoption(parser):
@@ -135,3 +136,11 @@ def same_process_inference_state(Script):
 def disable_typeshed(monkeypatch):
     from jedi.inference.gradual import typeshed
     monkeypatch.setattr(typeshed, '_load_from_typeshed', lambda *args, **kwargs: None)
+
+
+@pytest.fixture
+def create_compiled_object(inference_state):
+    return lambda obj: create_from_access_path(
+        inference_state,
+        inference_state.compiled_subprocess.create_simple_object(obj)
+    )
diff --git a/test/test_inference/test_compiled.py b/test/test_inference/test_compiled.py
index d8635286..2a2c4304 100644
--- a/test/test_inference/test_compiled.py
+++ b/test/test_inference/test_compiled.py
@@ -9,6 +9,7 @@ import pytest
 from jedi.inference import compiled
 from jedi.inference.compiled.access import DirectObjectAccess
 from jedi.inference.gradual.conversion import _stub_to_python_value_set
+from jedi.inference.syntax_tree import _infer_comparison_part
 
 
 def test_simple(inference_state, environment):
@@ -169,3 +170,15 @@ def test_qualified_names(same_process_inference_state, obj, expected_names):
         DirectObjectAccess(same_process_inference_state, obj)
     )
     assert o.get_qualified_names() == tuple(expected_names)
+
+
+def test_operation(Script, inference_state, create_compiled_object):
+    #b = create_simple_object(inference_state, 'bool')._compiled_obj
+    b = create_compiled_object(bool)
+    true, = _infer_comparison_part(
+        inference_state, b.parent_context,
+        left=list(b.execute_with_values())[0],
+        operator='is not',
+        right=b,
+    )
+    assert true.py__name__() == 'bool'