From 08764644a7ef3c84f7621d08ea3e45759d1eb452 Mon Sep 17 00:00:00 2001
From: Don Syme <dsyme@users.noreply.github.com>
Date: Thu, 22 Sep 2022 16:14:11 +0100
Subject: [PATCH 1/2] fix suppress of debug poin

---
 src/Compiler/Checking/CheckExpressions.fs |  3 +++
 tests/fsharp/regression/13219/test.fsx    | 17 +++++++++++++++++
 tests/fsharp/tests.fs                     |  3 +++
 3 files changed, 23 insertions(+)
 create mode 100644 tests/fsharp/regression/13219/test.fsx

diff --git a/src/Compiler/Checking/CheckExpressions.fs b/src/Compiler/Checking/CheckExpressions.fs
index 6aade43c55f..0ef6963c527 100644
--- a/src/Compiler/Checking/CheckExpressions.fs
+++ b/src/Compiler/Checking/CheckExpressions.fs
@@ -4773,6 +4773,9 @@ and CrackStaticConstantArgs (cenv: cenv) env tpenv (staticParameters: Tainted<Pr
     argsInStaticParameterOrderIncludingDefaults
 
 and TcProvidedTypeAppToStaticConstantArgs (cenv: cenv) env generatedTypePathOpt tpenv (tcref: TyconRef) (args: SynType list) m =
+    // Static argument expressions should not get debug points
+    let env = { env with eIsControlFlow = false }
+
     let typeBeforeArguments =
         match tcref.TypeReprInfo with
         | TProvidedTypeRepr info -> info.ProvidedType
diff --git a/tests/fsharp/regression/13219/test.fsx b/tests/fsharp/regression/13219/test.fsx
new file mode 100644
index 00000000000..5c00ee8e3cf
--- /dev/null
+++ b/tests/fsharp/regression/13219/test.fsx
@@ -0,0 +1,17 @@
+#r "nuget: FSharp.Data, 4.2.10"
+
+open FSharp.Data
+
+[<Literal>]
+let url = "https://en.wikipedia.org/wiki/F_Sharp_(programming_language)"
+
+// Works
+let html = new HtmlProvider<url>()
+
+type System.Object with
+
+    // Works
+    member x.Html1 = new HtmlProvider<"https://en.wikipedia.org/wiki/F_Sharp_(programming_language)">()
+
+    // Error: FS0267 This is not a valid constant expression or custom attribute value
+    member x.Html2 = new HtmlProvider<url>()
diff --git a/tests/fsharp/tests.fs b/tests/fsharp/tests.fs
index c40d9f756e6..44cf37b3268 100644
--- a/tests/fsharp/tests.fs
+++ b/tests/fsharp/tests.fs
@@ -2157,6 +2157,9 @@ module RegressionTests =
     [<Test >]
     let ``12383-FSC_OPTIMIZED`` () = singleTestBuildAndRun "regression/12383" FSC_OPTIMIZED
 
+    [<Test>]
+    let ``13219-bug-FSI`` () = singleTestBuildAndRun "regression/13219" FSI
+
     [<Test >]
     let ``4715-optimized`` () =
         let cfg = testConfig "regression/4715"

From bfa89fdf473a948e75b2f0d0803862335d3dd8cf Mon Sep 17 00:00:00 2001
From: Don Syme <dsyme@users.noreply.github.com>
Date: Fri, 23 Sep 2022 14:30:57 +0100
Subject: [PATCH 2/2] Update test.fsx

---
 tests/fsharp/regression/13219/test.fsx | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/tests/fsharp/regression/13219/test.fsx b/tests/fsharp/regression/13219/test.fsx
index 5c00ee8e3cf..c6ff7817805 100644
--- a/tests/fsharp/regression/13219/test.fsx
+++ b/tests/fsharp/regression/13219/test.fsx
@@ -15,3 +15,8 @@ type System.Object with
 
     // Error: FS0267 This is not a valid constant expression or custom attribute value
     member x.Html2 = new HtmlProvider<url>()
+
+// This is a compilation test, not a lot actually happens in the test
+do (System.Console.Out.WriteLine "Test Passed"; 
+    System.IO.File.WriteAllText("test.ok", "ok"); 
+    exit 0)