Repository: dprint/dprint-plugin-typescript (rust)

Issue:
Maintain conditional expression branch position, or a add "match" like formatting
In the TypeScript project, we often write conditional expressions like this:

```ts
function base64FormatEncode(value) {
    return value < 0 ? fail("Invalid value") :
        value < 26 ? 0x41 /*A*/ + value :
        value < 52 ? 0x61 /*a*/ + value - 26 :
        value < 62 ? 0x30 /*0*/ + value - 52 :
        value === 62 ? 0x2B /*+*/ :
        value === 63 ? 0x2F /*/*/ :
        fail("Invalid value");
}
```

or

```ts
function getApparentType(type: Type): Type {
    const t = !(type.flags & TypeFlags.Instantiable) ? type : getBaseConstraintOfType(type) || unknownType;
    return getObjectFlags(t) & ObjectFlags.Mapped ? getApparentTypeOfMappedType(t as MappedType) :
        t.flags & TypeFlags.Intersection ? getApparentTypeOfIntersectionType(t as IntersectionType) :
        t.flags & TypeFlags.StringLike ? globalStringType :
        t.flags & TypeFlags.NumberLike ? globalNumberType :
        t.flags & TypeFlags.BigIntLike ? getGlobalBigIntType() :
        t.flags & TypeFlags.BooleanLike ? globalBooleanType :
        t.flags & TypeFlags.ESSymbolLike ? getGlobalESSymbolType() :
        t.flags & TypeFlags.NonPrimitive ? emptyObjectType :
        t.flags & TypeFlags.Index ? keyofConstraintType :
        t.flags & TypeFlags.Unknown && !strictNullChecks ? emptyObjectType :
        t;
}
```

Where it's a chain of cases, condition on the left, result on the right.

When I format this with dprint, these are reformatted to split the cases apart (with the operator being positioned according to `conditionalExpression.operatorPosition`):

```ts
function base64FormatEncode(value) {
    return value < 0 ?
        fail("Invalid value") :
        value < 26 ?
        0x41 /*A*/ + value :
        value < 52 ?
        0x61 /*a*/ + value - 26 :
        value < 62 ?
        0x30 /*0*/ + value - 52 :
        value === 62 ?
        0x2B : /*+*/
        value === 63 ?
        0x2F : /*/*/
        fail("Invalid value");
}
```

```ts
function getApparentType(type: Type): Type {
    const t = !(type.flags & TypeFlags.Instantiable) ? type : getBaseConstraintOfType(type) || unknownType;
    return getObjectFlags(t) & ObjectFlags.Mapped ?
        getApparentTypeOfMappedType(t as MappedType) :
        t.flags & TypeFlags.Intersection ?
        getApparentTypeOfIntersectionType(t as IntersectionType) :
        t.flags & TypeFlags.StringLike ?
        globalStringType :
        t.flags & TypeFlags.NumberLike ?
        globalNumberType :
        t.flags & TypeFlags.BigIntLike ?
        getGlobalBigIntType() :
        t.flags & TypeFlags.BooleanLike ?
        globalBooleanType :
        t.flags & TypeFlags.ESSymbolLike ?
        getGlobalESSymbolType() :
        t.flags & TypeFlags.NonPrimitive ?
        emptyObjectType :
        t.flags & TypeFlags.Index ?
        keyofConstraintType :
        t.flags & TypeFlags.Unknown && !strictNullChecks ?
        emptyObjectType :
        t;
}
```

Is there any way that these conditional expressions could be maintained?

Adding a special mode that would explicitly format conditionals like this may also work, but I can't say that all of our examples of this are formatted like this (but a lot are, especially in the checker).

Pull request description:
feat: conditionalExpression.linePerExpression
Adds a new `conditionalExpression.linePerExpression` configuration option that defaults to `true` (the current default).

Also features much better comment ownership rules (essentially the colon and question tokens do not own comments, which allows for them to move around without affecting comments in a better way)

Todo:

- [x] More tests specifically for this.
- [x] Test on some codebases.

Closes #403

Patch:
diff --git a/deployment/schema.json b/deployment/schema.json
index 3f961fd..59ae2bf 100644
--- a/deployment/schema.json
+++ b/deployment/schema.json
@@ -303,6 +303,18 @@
         "description": "Maintains the line breaks as written by the programmer."
       }]
     },
+    "conditionalExpression.linePerExpression": {
+      "description": "Whether to force a line per expression when spanning multiple lines.",
+      "type": "boolean",
+      "default": true,
+      "oneOf": [{
+        "const": true,
+        "description": "Formats with each part on a new line."
+      }, {
+        "const": false,
+        "description": "Maintains the line breaks as written by the programmer."
+      }]
+    },
     "memberExpression.linePerExpression": {
       "description": "Whether to force a line per expression when spanning multiple lines.",
       "type": "boolean",
diff --git a/src/configuration/builder.rs b/src/configuration/builder.rs
index 6c80cf9..b57bfce 100644
--- a/src/configuration/builder.rs
+++ b/src/configuration/builder.rs
@@ -456,6 +456,14 @@ impl ConfigurationBuilder {
     self.insert("binaryExpression.linePerExpression", value.into())
   }
 
+  /// Whether to force a line per expression when spanning multiple lines.
+  ///
+  /// * `true` - Formats with each part on a new line.
+  /// * `false` (default) - Maintains the line breaks as written by the programmer.
+  pub fn conditional_expression_line_per_expression(&mut self, value: bool) -> &mut Self {
+    self.insert("conditionalExpression.linePerExpression", value.into())
+  }
+
   /// Whether to force a line per expression when spanning multiple lines.
   ///
   /// * `true` - Formats with each part on a new line.
@@ -1032,6 +1040,7 @@ mod tests {
       /* situational */
       .arrow_function_use_parentheses(UseParentheses::Maintain)
       .binary_expression_line_per_expression(false)
+      .conditional_expression_line_per_expression(true)
       .member_expression_line_per_expression(false)
       .type_literal_separator_kind(SemiColonOrComma::Comma)
       .type_literal_separator_kind_single_line(SemiColonOrComma::Comma)
@@ -1198,7 +1207,7 @@ mod tests {
       .while_statement_space_around(true);
 
     let inner_config = config.get_inner_config();
-    assert_eq!(inner_config.len(), 169);
+    assert_eq!(inner_config.len(), 170);
     let diagnostics = resolve_config(inner_config, &resolve_global_config(ConfigKeyMap::new(), &Default::default()).config).diagnostics;
     assert_eq!(diagnostics.len(), 0);
   }
diff --git a/src/configuration/resolve_config.rs b/src/configuration/resolve_config.rs
index 47c48f8..df46d47 100644
--- a/src/configuration/resolve_config.rs
+++ b/src/configuration/resolve_config.rs
@@ -79,6 +79,7 @@ pub fn resolve_config(config: ConfigKeyMap, global_config: &GlobalConfiguration)
     /* situational */
     arrow_function_use_parentheses: get_value(&mut config, "arrowFunction.useParentheses", UseParentheses::Maintain, &mut diagnostics),
     binary_expression_line_per_expression: get_value(&mut config, "binaryExpression.linePerExpression", false, &mut diagnostics),
+    conditional_expression_line_per_expression: get_value(&mut config, "conditionalExpression.linePerExpression", true, &mut diagnostics),
     jsx_quote_style: get_value(&mut config, "jsx.quoteStyle", quote_style.to_jsx_quote_style(), &mut diagnostics),
     jsx_multi_line_parens: get_value(&mut config, "jsx.multiLineParens", JsxMultiLineParens::Prefer, &mut diagnostics),
     jsx_force_new_lines_surrounding_content: get_value(&mut config, "jsx.forceNewLinesSurroundingContent", false, &mut diagnostics),
diff --git a/src/configuration/types.rs b/src/configuration/types.rs
index 7adf823..cf1a6d5 100644
--- a/src/configuration/types.rs
+++ b/src/configuration/types.rs
@@ -281,6 +281,8 @@ pub struct Configuration {
   pub arrow_function_use_parentheses: UseParentheses,
   #[serde(rename = "binaryExpression.linePerExpression")]
   pub binary_expression_line_per_expression: bool,
+  #[serde(rename = "conditionalExpression.linePerExpression")]
+  pub conditional_expression_line_per_expression: bool,
   #[serde(rename = "jsx.quoteStyle")]
   pub jsx_quote_style: JsxQuoteStyle,
   #[serde(rename = "jsx.multiLineParens")]
diff --git a/src/generation/generate.rs b/src/generation/generate.rs
index 18bc15e..3e168ab 100644
--- a/src/generation/generate.rs
+++ b/src/generation/generate.rs
@@ -2151,45 +2151,59 @@ fn gen_class_expr<'a>(node: &'a ClassExpr, context: &mut Context<'a>) -> PrintIt
 }
 
 fn gen_conditional_expr<'a>(node: &'a CondExpr, context: &mut Context<'a>) -> PrintItems {
-  let operator_token = context.token_finder.get_first_operator_after(&node.test, "?").unwrap();
-  let force_new_lines = !context.config.conditional_expression_prefer_single_line
-    && (node_helpers::get_use_new_lines_for_nodes(&node.test, &node.cons, context.program)
-      || node_helpers::get_use_new_lines_for_nodes(&node.cons, &node.alt, context.program));
-  let operator_position = get_operator_position(node, operator_token, context);
+  let question_token = context.token_finder.get_first_operator_after(&node.test, "?").unwrap();
+  let colon_token = context.token_finder.get_first_operator_after(&node.cons, ":").unwrap();
+  let line_per_expression = context.config.conditional_expression_line_per_expression;
+  let has_newline_test_cons = node_helpers::get_use_new_lines_for_nodes(&node.test, &node.cons, context.program);
+  let has_newline_const_alt = node_helpers::get_use_new_lines_for_nodes(&node.cons, &node.alt, context.program);
+  let mut force_test_cons_newline = !context.config.conditional_expression_prefer_single_line && has_newline_test_cons;
+  let mut force_cons_alt_newline = !context.config.conditional_expression_prefer_single_line && has_newline_const_alt;
+  if line_per_expression && (force_test_cons_newline || force_cons_alt_newline) {
+    // for line per expression, if one is true then both should be true
+    force_test_cons_newline = true;
+    force_cons_alt_newline = true;
+  }
+
+  let operator_position = get_operator_position(node, question_token, context);
   let top_most_data = get_top_most_data(node, context);
   let before_alternate_ln = LineNumber::new("beforeAlternate");
   let end_ln = LineNumber::new("endConditionalExpression");
+  let question_comment_items = gen_token_comments(question_token, context, top_most_data.il);
+  let colon_comment_items = gen_token_comments(colon_token, context, top_most_data.il);
   let mut items = PrintItems::new();
 
   if top_most_data.is_top_most {
-    items.push_info(top_most_data.top_most_ln);
-    items.push_info(top_most_data.top_most_il);
+    items.push_info(top_most_data.ln);
+    items.push_info(top_most_data.il);
   }
 
-  items.extend(ir_helpers::new_line_group(with_queued_indent(gen_node_with_inner_gen(
-    node.test.into(),
-    context,
-    {
-      move |mut items, _| {
-        if operator_position == OperatorPosition::SameLine {
-          items.push_str(" ?");
-        }
-        items
-      }
-    },
-  ))));
+  let top_most_il = top_most_data.il;
+
+  items.extend(ir_helpers::new_line_group(with_queued_indent({
+    let mut items = gen_node(node.test.into(), context);
+    if operator_position == OperatorPosition::SameLine {
+      items.push_str(" ?");
+    }
+    items.extend(question_comment_items.trailing_line);
+    items
+  })));
+
+  items.extend(question_comment_items.previous_lines);
 
   items.push_anchor(LineNumberAnchor::new(end_ln));
   items.push_anchor(LineNumberAnchor::new(before_alternate_ln));
 
-  let multi_line_reevaluation = if force_new_lines {
+  let multi_line_reevaluation = if force_test_cons_newline {
     items.push_signal(Signal::NewLine);
     None
-  } else {
-    let mut condition = conditions::new_line_if_multiple_lines_space_or_new_line_otherwise(top_most_data.top_most_ln, Some(before_alternate_ln));
+  } else if line_per_expression {
+    let mut condition = conditions::new_line_if_multiple_lines_space_or_new_line_otherwise(top_most_data.ln, Some(before_alternate_ln));
     let reevaluation = condition.create_reevaluation();
     items.push_condition(condition);
     Some(reevaluation)
+  } else {
+    items.push_signal(Signal::SpaceOrNewLine);
+    None
   };
 
   let cons_and_alt_items = {
@@ -2197,7 +2211,7 @@ fn gen_conditional_expr<'a>(node: &'a CondExpr, context: &mut Context<'a>) -> Pr
 
     // add any preceeding comments of the question token
     items.extend({
-      let operator_token_leading_comments = get_leading_comments_on_previous_lines(&operator_token.range(), context);
+      let operator_token_leading_comments = get_leading_comments_on_previous_lines(&question_token.range(), context);
       let mut items = gen_comment_collection(operator_token_leading_comments.into_iter(), None, None, context);
       if !items.is_empty() {
         items.push_signal(Signal::NewLine);
@@ -2205,40 +2219,43 @@ fn gen_conditional_expr<'a>(node: &'a CondExpr, context: &mut Context<'a>) -> Pr
       items
     });
 
-    if operator_position == OperatorPosition::NextLine {
-      items.push_str("? ");
-    }
-    items.extend(ir_helpers::new_line_group(gen_node_with_inner_gen(node.cons.into(), context, {
-      move |mut items, _| {
-        if operator_position == OperatorPosition::SameLine {
-          items.push_str(" :");
-          items
-        } else {
-          conditions::indent_if_start_of_line(items).into()
-        }
+    items.push_condition({
+      let mut items = PrintItems::new();
+      items.extend(question_comment_items.leading_line);
+      if operator_position == OperatorPosition::NextLine {
+        items.push_str("? ");
       }
-    })));
+      items.extend(gen_node(node.cons.into(), context));
+      if operator_position == OperatorPosition::SameLine {
+        items.push_str(" :");
+      }
+      items.extend(colon_comment_items.trailing_line);
+      indent_if_sol_and_same_indent_as_top_most(ir_helpers::new_line_group(items), top_most_il)
+    });
 
-    if force_new_lines {
+    items.extend(colon_comment_items.previous_lines);
+
+    if force_cons_alt_newline {
       items.push_signal(Signal::NewLine);
-    } else {
+    } else if line_per_expression {
       items.push_condition(conditions::new_line_if_multiple_lines_space_or_new_line_otherwise(
-        top_most_data.top_most_ln,
+        top_most_data.ln,
         Some(before_alternate_ln),
       ));
+    } else {
+      items.push_signal(Signal::SpaceOrNewLine);
     }
 
-    if operator_position == OperatorPosition::NextLine {
-      items.push_str(": ");
-    }
-    items.push_info(before_alternate_ln);
-    items.extend(ir_helpers::new_line_group(gen_node_with_inner_gen(node.alt.into(), context, |items, _| {
+    items.push_condition({
+      let mut items = PrintItems::new();
+      items.extend(colon_comment_items.leading_line);
       if operator_position == OperatorPosition::NextLine {
-        conditions::indent_if_start_of_line(items).into()
-      } else {
-        items
+        items.push_str(": ");
       }
-    })));
+      items.push_info(before_alternate_ln);
+      items.extend(gen_node(node.alt.into(), context));
+      indent_if_sol_and_same_indent_as_top_most(ir_helpers::new_line_group(items), top_most_il)
+    });
     items.push_info(end_ln);
 
     if let Some(reevaluation) = multi_line_reevaluation {
@@ -2251,9 +2268,69 @@ fn gen_conditional_expr<'a>(node: &'a CondExpr, context: &mut Context<'a>) -> Pr
   if top_most_data.is_top_most {
     items.push_condition(conditions::indent_if_start_of_line(cons_and_alt_items));
   } else {
-    let cons_and_alt_items = cons_and_alt_items.into_rc_path();
-    let top_most_il = top_most_data.top_most_il;
-    items.push_condition(if_true_or(
+    items.push_condition(indent_if_sol_and_same_indent_as_top_most(cons_and_alt_items, top_most_data.il));
+  }
+
+  return items;
+
+  struct TokenComments {
+    previous_lines: PrintItems,
+    leading_line: PrintItems,
+    trailing_line: PrintItems,
+  }
+
+  fn gen_token_comments(token: &TokenAndSpan, context: &mut Context, top_most_il: IndentLevel) -> TokenComments {
+    let token_line = token.end_line_fast(context.program);
+    let previous_token = token.previous_token_fast(context.program).unwrap();
+    let next_token = token.next_token_fast(context.program).unwrap();
+    let previous_token_line = previous_token.end_line_fast(context.program);
+    let next_token_line = next_token.start_line_fast(context.program);
+    if token_line > previous_token_line {
+      TokenComments {
+        previous_lines: {
+          let leading_comments = token.leading_comments_fast(context.program).filter(|c| {
+            let comment_line = c.start_line_fast(context.program);
+            comment_line > previous_token_line && comment_line < next_token_line
+          });
+          let trailing_comments = token
+            .trailing_comments_fast(context.program)
+            .filter(|c| c.start_line_fast(context.program) < next_token_line);
+          let items = gen_comments_as_statements(leading_comments.chain(trailing_comments), None, context);
+          if items.is_empty() {
+            items
+          } else {
+            let mut new_items = PrintItems::new();
+            new_items.push_signal(Signal::NewLine);
+            new_items.push_condition(indent_if_sol_and_same_indent_as_top_most(items, top_most_il));
+            new_items
+          }
+        },
+        leading_line: if token_line < next_token_line {
+          gen_leading_comments_same_line(&token.range(), context)
+        } else {
+          PrintItems::new()
+        },
+        trailing_line: PrintItems::new(),
+      }
+    } else if token_line < next_token_line {
+      TokenComments {
+        previous_lines: PrintItems::new(),
+        leading_line: PrintItems::new(),
+        trailing_line: gen_trailing_comments_same_line(&token.range(), context),
+      }
+    } else {
+      // do nothing
+      TokenComments {
+        previous_lines: PrintItems::new(),
+        leading_line: PrintItems::new(),
+        trailing_line: PrintItems::new(),
+      }
+    }
+  }
+
+  fn indent_if_sol_and_same_indent_as_top_most(items: PrintItems, top_most_il: IndentLevel) -> Condition {
+    let items = items.into_rc_path();
+    if_true_or(
       "indentIfSameIndentationAsTopMostAndStartOfLine",
       Rc::new(move |context| {
         if context.writer_info.is_start_of_line() {
@@ -2263,16 +2340,14 @@ fn gen_conditional_expr<'a>(node: &'a CondExpr, context: &mut Context<'a>) -> Pr
           Some(false)
         }
       }),
-      with_indent(cons_and_alt_items.into()),
-      cons_and_alt_items.into(),
-    ));
+      with_indent(items.into()),
+      items.into(),
+    )
   }
 
-  return items;
-
   struct TopMostData {
-    top_most_ln: LineNumber,
-    top_most_il: IndentLevel,
+    ln: LineNumber,
+    il: IndentLevel,
     is_top_most: bool,
   }
 
@@ -2298,8 +2373,8 @@ fn gen_conditional_expr<'a>(node: &'a CondExpr, context: &mut Context<'a>) -> Pr
 
     return TopMostData {
       is_top_most,
-      top_most_ln,
-      top_most_il,
+      ln: top_most_ln,
+      il: top_most_il,
     };
 
     fn get_or_set_top_most_ln(top_most_expr_start: SourcePos, is_top_most: bool, context: &mut Context) -> (LineNumber, IndentLevel) {
@@ -5947,7 +6022,7 @@ fn get_trailing_comments_on_same_line<'a>(node: &dyn SourceRanged, context: &mut
   } else {
     let node_start_line = node.start_line_fast(context.program);
     trailing_comments
-      .take_while(|c| c.kind == CommentKind::Block || c.start_line_fast(context.program) == node_start_line)
+      .take_while(|c| c.start_line_fast(context.program) == node_start_line)
       .collect::<Vec<_>>()
   }
 }


Test patch:
diff --git a/tests/specs/expressions/ConditionalExpression/ConditionalExpression_LinePerExpression_False.txt b/tests/specs/expressions/ConditionalExpression/ConditionalExpression_LinePerExpression_False.txt
new file mode 100644
index 0000000..0c9a762
--- /dev/null
+++ b/tests/specs/expressions/ConditionalExpression/ConditionalExpression_LinePerExpression_False.txt
@@ -0,0 +1,40 @@
+~~ conditionalExpression.linePerExpression: false, lineWidth: 40 ~~
+== should move only alt over ==
+const t = value < 0 ? true : testing > 0;
+
+[expect]
+const t = value < 0 ? true
+    : testing > 0;
+
+== should move when cons over ==
+const t = value < 0 ? asdftestingtestingg : test > 0;
+const t = value < 0 ? asdftestingtestingg : testinging > 0;
+
+[expect]
+const t = value < 0
+    ? asdftestingtestingg : test > 0;
+const t = value < 0
+    ? asdftestingtestingg
+    : testinging > 0;
+
+== should maintain match like formatting ==
+const t = value < 0 ? true
+    : value === 1 ? "1"
+    : value === 2 ? "2"
+    : false;
+
+[expect]
+const t = value < 0 ? true
+    : value === 1 ? "1"
+    : value === 2 ? "2"
+    : false;
+
+== should support putting expressions on any line ==
+const t = value < 0
+    ? true : value === 1
+    ? "1" : value === 2 ? "2" : false;
+
+[expect]
+const t = value < 0
+    ? true : value === 1
+    ? "1" : value === 2 ? "2" : false;
diff --git a/tests/specs/expressions/ConditionalExpression/ConditionalExpression_OperatorPosition_NextLine.txt b/tests/specs/expressions/ConditionalExpression/ConditionalExpression_OperatorPosition_NextLine.txt
index a538c12..ec99079 100644
--- a/tests/specs/expressions/ConditionalExpression/ConditionalExpression_OperatorPosition_NextLine.txt
+++ b/tests/specs/expressions/ConditionalExpression/ConditionalExpression_OperatorPosition_NextLine.txt
@@ -1,4 +1,4 @@
-~~ conditionalExpression.operatorPosition: nextLine, conditionalExpression.preferSingleLine: false ~~
+~~ conditionalExpression.operatorPosition: nextLine, conditionalExpression.preferSingleLine: false, lineWidth: 40 ~~
 == should format ==
 test? 1: 2;
 test
@@ -15,16 +15,30 @@ test
     ? 1
     : 2;
 
-== should indent if the first line is a comment ==
+== should move standalone comments of token up to previous line ==
 test
-    ? // comment
-        test
-    : // comment
-        test
+    ? // comment 1
+        test1
+    : // comment 2
+        test2
 
 [expect]
 test
-    ? // comment
-        test
-    : // comment
-        test;
+    // comment 1
+    ? test1
+    // comment 2
+    : test2;
+
+== should handle comments moving ==
+test /* 0 */ ? /* 1 */ test /* 2 */ : /* 3 */ asdf /* 4 */;
+test /* 0 */ ? /* 1 */
+    /* 2 */ test /* 3 */ : /* 4 */
+    /* 5 */ asdf /* 6 */;
+
+[expect]
+test /* 0 */
+    ? /* 1 */ test /* 2 */
+    : /* 3 */ asdf /* 4 */;
+test /* 0 */ /* 1 */
+    ? /* 2 */ test /* 3 */ /* 4 */
+    : /* 5 */ asdf /* 6 */;
diff --git a/tests/specs/expressions/ConditionalExpression/ConditionalExpression_OperatorPosition_SameLine.txt b/tests/specs/expressions/ConditionalExpression/ConditionalExpression_OperatorPosition_SameLine.txt
index 1f77575..521e598 100644
--- a/tests/specs/expressions/ConditionalExpression/ConditionalExpression_OperatorPosition_SameLine.txt
+++ b/tests/specs/expressions/ConditionalExpression/ConditionalExpression_OperatorPosition_SameLine.txt
@@ -1,10 +1,13 @@
-~~ conditionalExpression.operatorPosition: sameLine, conditionalExpression.preferSingleLine: false ~~
+~~ conditionalExpression.operatorPosition: sameLine, conditionalExpression.preferSingleLine: false, lineWidth: 40 ~~
 == should format ==
 test? 1: 2;
 test
     ? /* test */ 1: 2;
 test ? 1
 : 2;
+test ?
+    /* test */ 1 :
+    2;
 
 [expect]
 test ? 1 : 2;
@@ -14,6 +17,9 @@ test ?
 test ?
     1 :
     2;
+test ?
+    /* test */ 1 :
+    2;
 
 == should not indent if the first line is a comment ==
 test
@@ -40,3 +46,17 @@ test ?
     // testing
     test :
     test;
+
+== should handle comments moving ==
+test /* 0 */ ? /* 1 */ test /* 2 */ : /* 3 */ asdf /* 4 */;
+test /* 0 */
+    /* 1 */ ? /* 2 */ test /* 3 */
+     /* 4 */ : /* 5 */ asdf /* 6 */;
+
+[expect]
+test /* 0 */ ?
+    /* 1 */ test /* 2 */ :
+    /* 3 */ asdf /* 4 */;
+test /* 0 */ ?
+    /* 1 */ /* 2 */ test /* 3 */ :
+    /* 4 */ /* 5 */ asdf /* 6 */;
diff --git a/tests/specs/issues/issue0403.txt b/tests/specs/issues/issue0403.txt
new file mode 100644
index 0000000..55c4a08
--- /dev/null
+++ b/tests/specs/issues/issue0403.txt
@@ -0,0 +1,54 @@
+~~ conditionalExpression.linePerExpression: false, conditionalExpression.operatorPosition: sameLine ~~
+== should maintain formatting ==
+function base64FormatEncode(value) {
+    return value < 0 ? fail("Invalid value") :
+        value < 26 ? 0x41 /*A*/ + value :
+        value < 52 ? 0x61 /*a*/ + value - 26 : // 1
+        value < 62 ? 0x30 /*0*/ + value - 52 : /* 1 */
+        value === 62 ? 0x2B /*+*/ : /* 1 */
+        value === 63 ? 0x2F /*/*/ : /* 1 */
+        fail("Invalid value");
+}
+
+[expect]
+function base64FormatEncode(value) {
+    return value < 0 ? fail("Invalid value") :
+        value < 26 ? 0x41 /*A*/ + value :
+        value < 52 ? 0x61 /*a*/ + value - 26 : // 1
+        value < 62 ? 0x30 /*0*/ + value - 52 : /* 1 */
+        value === 62 ? 0x2B /*+*/ : /* 1 */
+        value === 63 ? 0x2F /*/*/ : /* 1 */
+        fail("Invalid value");
+}
+
+== should maintain for this as well ==
+function getApparentType(type: Type): Type {
+    const t = !(type.flags & TypeFlags.Instantiable) ? type : getBaseConstraintOfType(type) || unknownType;
+    return getObjectFlags(t) & ObjectFlags.Mapped ? getApparentTypeOfMappedType(t as MappedType) :
+        t.flags & TypeFlags.Intersection ? getApparentTypeOfIntersectionType(t as IntersectionType) :
+        t.flags & TypeFlags.StringLike ? globalStringType :
+        t.flags & TypeFlags.NumberLike ? globalNumberType :
+        t.flags & TypeFlags.BigIntLike ? getGlobalBigIntType() :
+        t.flags & TypeFlags.BooleanLike ? globalBooleanType :
+        t.flags & TypeFlags.ESSymbolLike ? getGlobalESSymbolType() :
+        t.flags & TypeFlags.NonPrimitive ? emptyObjectType :
+        t.flags & TypeFlags.Index ? keyofConstraintType :
+        t.flags & TypeFlags.Unknown && !strictNullChecks ? emptyObjectType :
+        t;
+}
+
+[expect]
+function getApparentType(type: Type): Type {
+    const t = !(type.flags & TypeFlags.Instantiable) ? type : getBaseConstraintOfType(type) || unknownType;
+    return getObjectFlags(t) & ObjectFlags.Mapped ? getApparentTypeOfMappedType(t as MappedType) :
+        t.flags & TypeFlags.Intersection ? getApparentTypeOfIntersectionType(t as IntersectionType) :
+        t.flags & TypeFlags.StringLike ? globalStringType :
+        t.flags & TypeFlags.NumberLike ? globalNumberType :
+        t.flags & TypeFlags.BigIntLike ? getGlobalBigIntType() :
+        t.flags & TypeFlags.BooleanLike ? globalBooleanType :
+        t.flags & TypeFlags.ESSymbolLike ? getGlobalESSymbolType() :
+        t.flags & TypeFlags.NonPrimitive ? emptyObjectType :
+        t.flags & TypeFlags.Index ? keyofConstraintType :
+        t.flags & TypeFlags.Unknown && !strictNullChecks ? emptyObjectType :
+        t;
+}