diff --git a/tests/lean/run/derivingLspEncoding.lean b/tests/lean/run/derivingLspEncoding.lean
new file mode 100644
index 0000000000..741e430681
--- /dev/null
+++ b/tests/lean/run/derivingLspEncoding.lean
@@ -0,0 +1,11 @@
+import Lean.Server.FileWorker.LspEncoding
+
+open Lean Server
+
+structure Foo where
+  a : Array Nat
+  deriving LspEncoding with { withRef := true }
+
+structure Bar where
+  fooRef : WithRpcRef Foo
+  deriving LspEncoding