Resiliant error cascade

[JonathanStarup]

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

[magnus-madsen]

I am looking for a general solution (but I don't have one yet)