[Major] Verse types are not comparable

[Velocity_Zero]

Here, it hasn’t received a ticket yet:

[Major] Cannot cast a subtype to another related subtype

Summary Unfortunately it’s not possible to perform a failable cast of a subtype to another related subtype. Please select what you are reporting on: Verse What Type of Bug are you experiencing? Verse Steps to Reproduce base_class := class<castable> {} a_class := class(base_class) {} CastTest(t: castable_subtype(base_class))<decides>: void = { castable_subtype(a_class)[t] } Expected Result Casting a subtype to another subtype should be permitted. Observed Result Casting only permits to ca…