fix suppress of debug poin

Author: dsyme

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

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>()

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"