'interop' helpers now no longer necessary

enso-org · Mar 18, 2024 · 164e470 · 164e470
1 parent ac99976
commit 164e470
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 24 deletions.
diff --git a/...ne/runtime-compiler/src/main/java/org/enso/compiler/pass/analyse/types/TypeInference.java b/...ne/runtime-compiler/src/main/java/org/enso/compiler/pass/analyse/types/TypeInference.java
@@ -3,6 +3,7 @@
 import org.enso.compiler.context.InlineContext;
 import org.enso.compiler.context.ModuleContext;
 import org.enso.compiler.context.NameResolution;
+import org.enso.compiler.core.CompilerError;
 import org.enso.compiler.core.IR;
 import org.enso.compiler.core.ir.Module;
 import org.enso.compiler.core.ir.*;
@@ -238,8 +239,11 @@ private void registerBinding(IR binding, TypeRepresentation type, LocalBindingsT
       return;
     }
 
-    var def = JavaInteropHelpers.occurrenceAsDef(occurrence.get());
-    localBindingsTyping.registerBindingType(metadata.graph(), def.id(), type);
+    if (occurrence.get() instanceof org.enso.compiler.pass.analyse.alias.Graph$Occurrence$Def def) {
+      localBindingsTyping.registerBindingType(metadata.graph(), def.id(), type);
+    } else {
+      throw new CompilerError("Alias analysis occurrence has unexpected type: " + occurrence.get().getClass().getCanonicalName());
+    }
   }
 
   private void registerPattern(Pattern pattern, LocalBindingsTyping localBindingsTyping) {

diff --git a/...e/runtime-compiler/src/main/scala/org/enso/compiler/pass/analyse/JavaInteropHelpers.scala b/...e/runtime-compiler/src/main/scala/org/enso/compiler/pass/analyse/JavaInteropHelpers.scala