Intersection types & type checks

engine/runtime/src/main/java/org/enso/interpreter/node/BinaryOperatorNode.java

@@ -156,7 +156,8 @@ final Object doThatConversionUncached(
         for (var thatType : multi.allTypes()) {
           var fn = findSymbol(symbol, thatType);
           if (fn != null) {
-            var thatCasted = EnsoMultiValue.CastToNode.getUncached().executeCast(thatType, multi);
+            var thatCasted =
+                EnsoMultiValue.CastToNode.getUncached().executeCast(thatType, multi, false);
             var result =
                 doDispatch(
                     frame, self, thatCasted, selfType, thatType, fn, convertNode, invokeNode);

engine/runtime/src/main/java/org/enso/interpreter/node/callable/InvokeConversionNode.java

@@ -183,7 +183,7 @@ Object doMultiValue(
       Object[] arguments,
       @Cached EnsoMultiValue.CastToNode castTo) {
     var type = extractType(self);
-    var result = castTo.executeCast(type, that);
+    var result = castTo.executeCast(type, that, true);
     if (result == null) {
       throw new PanicException(
           EnsoContext.get(this).getBuiltins().error().makeNoSuchConversion(type, self, conversion),

engine/runtime/src/main/java/org/enso/interpreter/node/callable/InvokeMethodNode.java

@@ -299,7 +299,7 @@ Object doMultiValue(
       @Cached EnsoMultiValue.CastToNode castTo) {
     var fnAndType = self.resolveSymbol(methodResolverNode, symbol);
     if (fnAndType != null) {
-      var unwrapSelf = castTo.executeCast(fnAndType.getRight(), self);
+      var unwrapSelf = castTo.executeCast(fnAndType.getRight(), self, false);
       if (unwrapSelf != null) {
         assert arguments[0] == self;
         arguments[0] = unwrapSelf;

engine/runtime/src/main/java/org/enso/interpreter/node/typecheck/AbstractTypeCheckNode.java

@@ -11,7 +11,7 @@
 
 /**
  * Root of hierarchy of nodes checking types. This class (and its subclasses) are an implementation
- * detail. The API to perform the is in {@link TypeCheckNode}.
+ * detail. The API to perform the check or conversion is in {@link TypeCheckValueNode}.
  */
 abstract sealed class AbstractTypeCheckNode extends Node
     permits OneOfTypesCheckNode, AllOfTypesCheckNode, SingleTypeCheckNode, MetaTypeCheckNode {

engine/runtime/src/main/java/org/enso/interpreter/node/typecheck/AllOfTypesCheckNode.java

@@ -44,7 +44,7 @@ Object executeCheckOrConversion(VirtualFrame frame, Object value, ExpressionNode
       valueTypes[at] = types.getType(result);
       at++;
     }
-    return EnsoMultiValue.create(valueTypes, values);
+    return EnsoMultiValue.create(valueTypes, valueTypes.length, values);
   }
 
   @Override

engine/runtime/src/main/java/org/enso/interpreter/node/typecheck/MetaTypeCheckNode.java

@@ -11,7 +11,7 @@
 
 /**
  * Node for checking {@code polyglot java import} types. This class (and its subclasses)
- * are an implementation detail. The API to perform the is in {@link TypeCheckNode}.
+ * are an implementation detail. The API to perform the is in {@link TypeCheckValueNode}.
  */
 non-sealed abstract class MetaTypeCheckNode extends AbstractTypeCheckNode {
   private final CachingSupplier<? extends Object> expectedSupplier;

engine/runtime/src/main/java/org/enso/interpreter/node/typecheck/SingleTypeCheckNode.java

@@ -115,7 +115,7 @@ final Object findDirectMatch(VirtualFrame frame, Object v) {
         CompilerDirectives.transferToInterpreter();
         castTo = insert(EnsoMultiValue.CastToNode.create());
       }
-      var result = castTo.executeCast(expectedType, mv);
+      var result = castTo.executeCast(expectedType, mv, true);
       if (result != null) {
         return result;
       }

engine/runtime/src/main/java/org/enso/interpreter/node/typecheck/TypeCheckExpressionNode.java

@@ -19,8 +19,8 @@ ExpressionNode getOriginal() {
 
   @Override
   public Object executeGeneric(VirtualFrame frame) {
-    java.lang.Object value = original.executeGeneric(frame);
-    java.lang.Object result = check.handleCheckOrConversion(frame, value, original);
+    var value = original.executeGeneric(frame);
+    var result = check.handleCheckOrConversion(frame, value, original);
     return result;
   }