diff --git a/tests/FSharp.Compiler.ComponentTests/Language/RegressionTests.fs b/tests/FSharp.Compiler.ComponentTests/Language/RegressionTests.fs
index f035c28b519..3b7d1a2b3a5 100644
--- a/tests/FSharp.Compiler.ComponentTests/Language/RegressionTests.fs
+++ b/tests/FSharp.Compiler.ComponentTests/Language/RegressionTests.fs
@@ -68,3 +68,17 @@ let x = 15
         |> asLibrary
         |> typecheck
         |> shouldSucceed
+
+    // https://github.com/dotnet/fsharp/issues/16007
+    [<Fact>]
+    let ``Issue 16007 - SRTP ctor constraint should not cause value restriction error`` () =
+        FSharp """
+type T() = class end
+let dosmth (a: T) = System.Console.WriteLine(a.ToString())
+let inline NEW () = (^a : (new : unit -> ^a) ())
+let x = NEW ()
+dosmth x
+        """
+        |> asLibrary
+        |> typecheck
+        |> shouldSucceed