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

class A implements S {
  A(this.b);
  final bool b;
}

class B implements S {
  B(this.b);
  final bool b;
}

class C implements A, B {
  bool get b => false;
}

int? method(S s) => switch (s) {
      A(b: true) as A => 0,
      B(b: true) as B => value,
    };

int? value = 1;

sealed class S {
  bool get b;
}

test() {}