pkg/_fe_analyzer_shared/test/exhaustiveness/data/issue2878_example3.dart

void main() {
  List<int> list = [1, 2, 3];
  print(subs(list));
}

List<List<A>> subs<A>(List<A> list) => /*
         checkingOrder={List<A>,<A>[],<A>[(), ...]},
         subtypes={<A>[],<A>[(), ...]},
         type=List<A>
        */ switch (list) {
  [] /*space=<[]>*/ => [],
  [var x, ...var xs] /*space=<[Object?, ...List<A>]>*/ => [
    for (var ys in subs(xs)) ...[
      [x] + ys,
      ys,
    ],
    [x],
  ],
};