fix(lsp): display ** prefix for ParamSpec in hover type parameter lists

crates/pyrefly_types/src/display.rs

@@ -2103,6 +2103,34 @@ pub mod tests {
         );
     }
 
+n    #[test]
+    fn test_display_param_spec() {
+        let tparams = fake_tparams(vec![
+            fake_tparam(0, "T", QuantifiedKind::TypeVar),
+            fake_tparam(1, "P", QuantifiedKind::ParamSpec),
+            fake_tparam(2, "R", QuantifiedKind::TypeVar),
+        ]);
+        let method = fake_generic_bound_method(
+            "foo",
+            "MyClass",
+            "my.module",
+            tparams,
+        );
+        let mut ctx = TypeDisplayContext::new(&[&method]);
+        assert_eq!(
+            ctx.display(&method).to_string(),
+            "[T, **P, R](self: Any, x: Any, y: Any) -> None"
+        );
+        ctx.set_lsp_display_mode(LspDisplayMode::Hover);
+        assert_eq!(
+            ctx.display(&method).to_string(),
+            r#"def foo[T, **P, R](
+    self: Any,
+    x: Any,
+    y: Any
+) -> None: ..."#
+        );
+    }
     #[test]
     fn test_display_overload() {
         let class = fake_class("TestClass", "test", 0);

crates/pyrefly_types/src/quantified.rs

@@ -368,6 +368,9 @@ impl Quantified {
     /// in the format used for type parameter lists (e.g. `T: int = str`).
     pub fn display_with_bounds(&self) -> impl Display + '_ {
         Fmt(move |f| {
+            if self.is_param_spec() {
+                write!(f, "**")?;
+            }
             write!(f, "{}", self.name)?;
             match self.restriction() {
                 Restriction::Bound(t) => write!(f, ": {}", t)?,