@switch (   cond.kind) {
  @default never;
}

@switch (   cond.kind) {
  @default never    ;
}