var_class_name = p0 == NULL ? "null" : p0->type->name;
fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable ListNode[ListNode#0]", var_class_name);
fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 306);
var_class_name = p0 == NULL ? "null" : p0->type->name;
fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable ListNode[ListNode#0]", var_class_name);
fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/list.nit", 306);