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