Fix withDiagnostics format in attribute private setter test

Copilot · T-Gro · Copilot · commit 8c9c0b48b3bb · 2025-05-21T10:45:43.000Z
Co-authored-by: T-Gro &lt;46543583+T-Gro@users.noreply.github.com&gt;
diff --git a/tests/FSharp.Compiler.ComponentTests/Attributes/AttributePrivateSetterTests.fs b/tests/FSharp.Compiler.ComponentTests/Attributes/AttributePrivateSetterTests.fs
@@ -19,6 +19,6 @@ type TestClass() = class end
     |> compile
     |> shouldFail
     |> withDiagnostics [
-        (DiagnosticLevel.Error, 3248, "Property 'ConditionString' on attribute cannot be set because the setter is private", (5, 13, 5, 41))
+        (Error, 3248, Line 5, Col 13, Line 5, Col 41, "Property 'ConditionString' on attribute cannot be set because the setter is private")
     ]
     |> ignore

Original file line number	Diff line number	Diff line change
`@@ -19,6 +19,6 @@ type TestClass() = class end`
`19`	`19`	`\|> compile`
`20`	`20`	`\|> shouldFail`
`21`	`21`	`\|> withDiagnostics [`
`22`		`- (DiagnosticLevel.Error, 3248, "Property 'ConditionString' on attribute cannot be set because the setter is private", (5, 13, 5, 41))`
	`22`	`+ (Error, 3248, Line 5, Col 13, Line 5, Col 41, "Property 'ConditionString' on attribute cannot be set because the setter is private")`
`23`	`23`	`]`
`24`	`24`	`\|> ignore`