Resiliant error cascade

def example(): Unit \ SomeEffect = checked_ecast(())

This program has the errors

-- Resolution Error -------------------------------------------------- [...]\test.flix
>> Undefined type 'SomeEffect'.
8 | def example(): Unit \ SomeEffect = checked_ecast(())
                          ^^^^^^^^^^
                          type not found.

-- Redundancy Error -------------------------------------------------- [...]\test.flix
>> Redundant effect cast. The expression already has the required effect.
8 | def example(): Unit \ SomeEffect = checked_ecast(())
                                       ^^^^^^^^^^^^^^^^^
                                       redundant cast.

So it seems that it continues typing with the pure effect, but instead it would perhaps be better to continue with the non-existing effect SomeEffect or in some other way remember that there is a constant effect

flix / flix

Resiliant error cascade #7648