- REGB1 = ATTR_array___AbstractArrayRead____length(fra.me.REG[1]);
- /* ./../lib/standard//kernel.nit:212 */
+ REGB1 = ATTR_standard___collection___array___AbstractArrayRead____length(fra.me.REG[1]);
+ REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
+ if (UNTAG_Bool(REGB2)) {
+ } else {
+ nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
+ }
+ /* ./../lib/standard//kernel.nit:215 */