interface IModel {
    model string
}

interface ICar {
    name string
}

pub struct Car {
    name  string
    model string
}

fn main() {
    mut cars := []ICar{}
    cars << Car { model: 'Tesla' }
    cars << Car { model: 'Toyota' }

    // This works! So how to create a generic function out of this?
    mut cc := []IModel{}
    for mut c in cars {
        if mut c is IModel {
            cc << c
        }
    }

    a := get_all[IModel](mut cars)
    
    println("${cars} \n ${cc} \n ${a}")
}

pub fn get_all[T](mut cars []ICar) []T {
    mut cc := []T{}
    for mut c in cars {
        if mut c is T {  // error: cannot implement interface `ICar` with a different interface `IModel`
            cc << c
        }
    }
    return cc
}

Array_main__IModel main__get_all_T_main__IModel(Array_main__ICar* cars) {
    Array_main__IModel cc = __new_array_with_default(0, 0, sizeof(main__IModel), 0);
    for (int _t1 = 0; _t1 < cars->len; ++_t1) {
        main__ICar* c = ((main__ICar*)cars->data) + _t1;
        if ((c)->_typ == _main__ICar_main__IModel_index) {
            array_push((array*)&cc, _MOV((main__IModel[]){ *(I_main__ICar_as_I_main__IModel(*c)) }));
        }
    }
    return cc;
}

    Array_main__IModel cc = __new_array_with_default(0, 0, sizeof(main__IModel), 0);
    for (int _t3 = 0; _t3 < cars.len; ++_t3) {
        main__ICar* c = ((main__ICar*)cars.data) + _t3;
        if (I_main__ICar_is_I_main__IModel(*c)) {
            array_push((array*)&cc, _MOV((main__IModel[]){ (I_main__ICar_as_I_main__IModel(*c)) }));
        }
    }