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

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

List<X> f<X>(
        List<X>
            list) => /*
 checkingOrder={List<X>,<X>[...]},
 subtypes={<X>[...]},
 type=List<X>
*/
    switch (list) {
      [] /*space=<[]>*/ => [],
      [...] /*space=<[...List<X>]>*/ => [],
    };

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]
      ],
    };

List<List<A>> perms<A>(
        List<A>
            list) => /*
         checkingOrder={List<A>,<A>[],<A>[(), ...]},
         subtypes={<A>[],<A>[(), ...]},
         type=List<A>
        */
    switch (list) {
      [] || [_] /*space=<[]|[Object?]>*/ => [list],
      [var x, ...var xs] /*space=<[Object?, ...List<A>]>*/ => [
        for (var i = 0; i < list.length; i++)
          for (var perm in perms(xs)) [...perm.take(i), x, ...perm.skip(i)]
      ],
    };

bool equals<A>(
        List<A> a,
        List<A>
            b) => /*
 fields={$1:List<A>,$2:List<A>},
 type=(List<A>, List<A>)
*/
    switch ((a, b)) {
      ([], []) /*space=([], [])*/ => true,
      ([_, ...], []) /*space=([Object?, ...List<A>], [])*/ => false,
      ([], [_, ...]) /*space=([], [Object?, ...List<A>])*/ => false,
      (
        [var l, ...var ls],
        [var r, ...var rs]
      ) /*space=([Object?, ...List<A>], [Object?, ...List<A>])*/ =>
        l == r && equals(ls, rs),
    };