feat: support the satisfies expression (#441)

Author: dsherret

Cargo.lock

@@ -26,7 +26,7 @@ tracing = ["dprint-core/tracing"]
 
 [dependencies]
 anyhow = "1.0.64"
-deno_ast = { version = "0.19.0", features = ["view"] }
+deno_ast = { version = "0.20.0", features = ["view"] }
 dprint-core = { version = "0.59.0", features = ["formatting"] }
 rustc-hash = "1.1.0"
 serde = { version = "1.0.144", features = ["derive"] }

Cargo.toml

@@ -202,6 +202,7 @@ fn gen_node_with_inner_gen<'a>(node: Node<'a>, context: &mut Context<'a>, inner_
       Node::Tpl(node) => gen_tpl(node, context),
       Node::TplElement(node) => gen_tpl_element(node, context),
       Node::TsAsExpr(node) => gen_as_expr(node, context),
+      Node::TsSatisfactionExpr(node) => gen_satisfaction_expr(node, context),
       Node::TsConstAssertion(node) => gen_const_assertion(node, context),
       Node::TsExprWithTypeArgs(node) => gen_expr_with_type_args(node, context),
       Node::TsNonNullExpr(node) => gen_non_null_expr(node, context),
@@ -1743,17 +1744,33 @@ struct AsExprLike<'a> {
 }
 
 fn gen_as_expr_like<'a>(node: AsExprLike<'a>, context: &mut Context<'a>) -> PrintItems {
-  let mut items = PrintItems::new();
-  items.extend(gen_node(node.expr, context));
-  items.push_str(" as");
+  let mut items = gen_node(node.expr, context);
+  // todo: remove this condition once https://github.com/swc-project/swc/issues/6238 is fixed
+  let is_as = node
+    .expr
+    .next_token_fast(context.program)
+    .map(|t| t.text_fast(context.program) == "as")
+    .unwrap_or_default();
+  if is_as {
+    items.push_str(" as");
+  } else {
+    items.push_str(" satisfies");
+  }
   items.push_signal(Signal::SpaceIfNotTrailing);
   items.push_condition(conditions::with_indent_if_start_of_line_indented(gen_node(node.type_ann, context)));
   items
 }
 
+fn gen_satisfaction_expr<'a>(node: &'a TsSatisfactionExpr<'a>, context: &mut Context<'a>) -> PrintItems {
+  let mut items = gen_node(node.expr.into(), context);
+  items.push_str(" satisfies");
+  items.push_signal(Signal::SpaceIfNotTrailing);
+  items.push_condition(conditions::with_indent_if_start_of_line_indented(gen_node(node.type_ann.into(), context)));
+  items
+}
+
 fn gen_const_assertion<'a>(node: &'a TsConstAssertion, context: &mut Context<'a>) -> PrintItems {
-  let mut items = PrintItems::new();
-  items.extend(gen_node(node.expr.into(), context));
+  let mut items = gen_node(node.expr.into(), context);
   items.push_str(" as const");
   items
 }

src/generation/generate.rs

@@ -0,0 +1,26 @@
+~~ lineWidth: 40 ~~
+== should format ==
+Testing   satisfies    Test;
+
+[expect]
+Testing satisfies Test;
+
+== should format when multiple lines ==
+something satisfies string | number | other | other;
+
+[expect]
+something satisfies
+    | string
+    | number
+    | other
+    | other;
+
+== should indent the expression when initial expression is hanging and the expression is multi-line ==
+testingtesting()
+    .find(p => p.testing) satisfies string | undefined;
+
+[expect]
+testingtesting()
+    .find(p => p.testing) satisfies
+        | string
+        | undefined;