-core___core__NativeArray___memmove(var101, var104, var107, var_new_native, 0l); /* Direct call array#NativeArray#memmove on <var101:NativeArray[nullable Object]>*/
+{ /* Inline array$NativeArray$memmove (var113,var116,var119,var_new_native,0l) on <var113:NativeArray[nullable Object]> */
+/* Covariant cast for argument 2 (dest) <var_new_native:NativeArray[nullable Object]> isa NativeArray[E] */
+/* <var_new_native:NativeArray[nullable Object]> isa NativeArray[E] */
+type_struct126 = var113->type->resolution_table->types[COLOR_core__NativeArray__core__NativeArray___35dE];
+cltype124 = type_struct126->color;
+idtype125 = type_struct126->id;
+if(cltype124 >= var_new_native->type->table_size) {
+var123 = 0;
+} else {
+var123 = var_new_native->type->type_table[cltype124] == idtype125;
+}
+if (unlikely(!var123)) {
+var_class_name127 = var_new_native == NULL ? "null" : var_new_native->type->name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "NativeArray[E]", var_class_name127);
+PRINT_ERROR(" (%s:%d)\n", FILE_core__array, 997);
+fatal_exit(1);
+}
+memmove(((struct instance_core__NativeArray*)var_new_native)->values+0l, ((struct instance_core__NativeArray*)var113)->values+var116, var119*sizeof(val*));
+RET_LABEL122:(void)0;
+}