pkg/front_end/testcases/patterns/exhaustiveness/unsound_cast.dart.textual_outline_modelled.expect

class A extends S {}

class B extends S {}

class C extends S {}

class X extends A {}

class Y extends B {}

class Z implements A, B {}

method(S s) => switch (s) {
      X() as A => 0,
      Y() as B => 1,
    };

sealed class S {}

test() {}