Motoko casting to subtype with trap

[Gekctek]

I had a similar question, my guess is no based off the response to mine

Variant subset matching

I have run into this case a few times, wonder if there is a way to do the following better: public type SubType = { #one; #two; }; public type SuperType = { #three; }; switch (superType) { case (#three) processThree(); case (#two) processSubType(#two); case (#one) processSubType(#one); }; public func processSubType(subType : SubType) { ... }; It gets tedious to list out all the subtypes that all do one thing. I want to just make one call like: switch (superType) { cas…