Fix CI: add release notes, fix issue references, clean spurious neg06.bsl duplicates

- Add release notes entry for narrowed FS0041 error range (#14284)
- Fix wrong issue references from #14190 to #14284 in source and tests
- Remove spurious duplicate FS0954/FS0953 errors from neg06.bsl baseline
  (only the FS0041 range change belongs to this PR)
- Rebase onto latest main

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

Author: T-Gro

docs/release-notes/.FSharp.Compiler.Service/11.0.100.md

@@ -1,5 +1,6 @@
 ### Fixed
 
+* Narrow 'No overloads match for method' error range to method name only instead of covering the entire expression. ([Issue #14284](https://github.com/dotnet/fsharp/issues/14284), [PR #19505](https://github.com/dotnet/fsharp/pull/19505))
 * Fix DU case names matching IWSAM member names no longer cause duplicate property entries. (Issue [#14321](https://github.com/dotnet/fsharp/issues/14321), [PR #19341](https://github.com/dotnet/fsharp/pull/19341))
 * Fix DefaultAugmentation(false) duplicate entry in method table. (Issue [#16565](https://github.com/dotnet/fsharp/issues/16565), [PR #19341](https://github.com/dotnet/fsharp/pull/19341))
 * Fix abstract event accessors now have SpecialName flag. (Issue [#5834](https://github.com/dotnet/fsharp/issues/5834), [PR #19341](https://github.com/dotnet/fsharp/pull/19341))

src/Compiler/Checking/Expressions/CheckExpressions.fs

@@ -10404,7 +10404,7 @@ and TcMethodApplication
         // Narrow the error range for unresolved overloading from the whole expression (mMethExpr)
         // to just the method name. For instance calls like T.Instance.Method(""), mItem covers
         // the entire "T.Instance.Method" range, so we compute the method-name-only range from
-        // the end of mItem and the method name length. See https://github.com/dotnet/fsharp/issues/14190.
+        // the end of mItem and the method name length. See https://github.com/dotnet/fsharp/issues/14284.
         let errors =
             match errors with
             | ErrorResult(warns, UnresolvedOverloading(denvErr, callerArgsErr, failure, _mWide)) ->

tests/FSharp.Compiler.ComponentTests/ErrorMessages/OverloadResolutionErrorRangeTests.fs

@@ -3,9 +3,9 @@ module ErrorMessages.OverloadResolutionErrorRangeTests
 open Xunit
 open FSharp.Test.Compiler
 
-// https://github.com/dotnet/fsharp/issues/14190
+// https://github.com/dotnet/fsharp/issues/14284
 [<Fact>]
-let ``Issue 14190 - overload error should cover only method name, not full expression`` () =
+let ``Issue 14284 - overload error should cover only method name, not full expression`` () =
     FSharp
         """
 type T() =
@@ -29,7 +29,7 @@ Available overloads:
 
 // Verify that the error range is narrow also for simple direct method calls
 [<Fact>]
-let ``Issue 14190 - overload error for simple static method`` () =
+let ``Issue 14284 - overload error for simple static method`` () =
     FSharp
         """
 type T() =
@@ -51,7 +51,7 @@ Available overloads:
 
 // Verify that a long expression before the method doesn't widen the error range
 [<Fact>]
-let ``Issue 14190 - overload error on chained expression`` () =
+let ``Issue 14284 - overload error on chained expression`` () =
     FSharp
         """
 type T() =
@@ -76,7 +76,7 @@ Available overloads:
 
 // Verify error range with lambda argument
 [<Fact>]
-let ``Issue 14190 - overload error with lambda argument`` () =
+let ``Issue 14284 - overload error with lambda argument`` () =
     FSharp
         """
 type T() =

tests/fsharp/typecheck/sigs/neg06.bsl

@@ -16,30 +16,16 @@ neg06.fs(37,6,37,29): typecheck error FS0954: This type definition involves an i
 
 neg06.fs(37,6,37,29): typecheck error FS0912: This declaration element is not permitted in an augmentation
 
-neg06.fs(37,6,37,29): typecheck error FS0954: This type definition involves an immediate cyclic reference through a struct field or inheritance relation
-
 neg06.fs(42,6,42,30): typecheck error FS0954: This type definition involves an immediate cyclic reference through a struct field or inheritance relation
 
 neg06.fs(46,5,46,29): typecheck error FS0954: This type definition involves an immediate cyclic reference through a struct field or inheritance relation
 
 neg06.fs(42,6,42,30): typecheck error FS0912: This declaration element is not permitted in an augmentation
 
-neg06.fs(42,6,42,30): typecheck error FS0954: This type definition involves an immediate cyclic reference through a struct field or inheritance relation
-
-neg06.fs(46,5,46,29): typecheck error FS0954: This type definition involves an immediate cyclic reference through a struct field or inheritance relation
-
 neg06.fs(53,10,53,19): typecheck error FS0954: This type definition involves an immediate cyclic reference through a struct field or inheritance relation
 
 neg06.fs(60,10,60,20): typecheck error FS0954: This type definition involves an immediate cyclic reference through a struct field or inheritance relation
 
-neg06.fs(60,10,60,20): typecheck error FS0954: This type definition involves an immediate cyclic reference through a struct field or inheritance relation
-
-neg06.fs(60,10,60,20): typecheck error FS0954: This type definition involves an immediate cyclic reference through a struct field or inheritance relation
-
-neg06.fs(64,9,64,19): typecheck error FS0954: This type definition involves an immediate cyclic reference through a struct field or inheritance relation
-
-neg06.fs(64,9,64,19): typecheck error FS0954: This type definition involves an immediate cyclic reference through a struct field or inheritance relation
-
 neg06.fs(64,9,64,19): typecheck error FS0954: This type definition involves an immediate cyclic reference through a struct field or inheritance relation
 
 neg06.fs(75,10,75,19): typecheck error FS0954: This type definition involves an immediate cyclic reference through a struct field or inheritance relation
@@ -48,8 +34,6 @@ neg06.fs(80,10,80,25): typecheck error FS0953: This type definition involves an
 
 neg06.fs(90,10,90,11): typecheck error FS0953: This type definition involves an immediate cyclic reference through an abbreviation
 
-neg06.fs(90,10,90,11): typecheck error FS0953: This type definition involves an immediate cyclic reference through an abbreviation
-
 neg06.fs(94,10,94,11): typecheck error FS0953: This type definition involves an immediate cyclic reference through an abbreviation
 
 neg06.fs(99,10,99,11): typecheck error FS0953: This type definition involves an immediate cyclic reference through an abbreviation
@@ -58,26 +42,12 @@ neg06.fs(100,9,100,10): typecheck error FS0035: This construct is deprecated: Th
 
 neg06.fs(104,10,104,11): typecheck error FS0953: This type definition involves an immediate cyclic reference through an abbreviation
 
-neg06.fs(104,10,104,11): typecheck error FS0953: This type definition involves an immediate cyclic reference through an abbreviation
-
-neg06.fs(108,10,108,11): typecheck error FS0953: This type definition involves an immediate cyclic reference through an abbreviation
-
 neg06.fs(108,10,108,11): typecheck error FS0953: This type definition involves an immediate cyclic reference through an abbreviation
 
 neg06.fs(112,10,112,11): typecheck error FS0953: This type definition involves an immediate cyclic reference through an abbreviation
 
 neg06.fs(117,10,117,11): typecheck error FS0953: This type definition involves an immediate cyclic reference through an abbreviation
 
-neg06.fs(117,10,117,11): typecheck error FS0953: This type definition involves an immediate cyclic reference through an abbreviation
-
-neg06.fs(117,10,117,11): typecheck error FS0953: This type definition involves an immediate cyclic reference through an abbreviation
-
-neg06.fs(118,9,118,10): typecheck error FS0953: This type definition involves an immediate cyclic reference through an abbreviation
-
-neg06.fs(118,9,118,10): typecheck error FS0953: This type definition involves an immediate cyclic reference through an abbreviation
-
-neg06.fs(118,9,118,10): typecheck error FS0953: This type definition involves an immediate cyclic reference through an abbreviation
-
 neg06.fs(118,9,118,10): typecheck error FS0953: This type definition involves an immediate cyclic reference through an abbreviation
 
 neg06.fs(118,9,118,10): typecheck error FS0035: This construct is deprecated: This type abbreviation has one or more declared type parameters that do not appear in the type being abbreviated. Type abbreviations must use all declared type parameters in the type being abbreviated. Consider removing one or more type parameters, or use a concrete type definition that wraps an underlying type, such as 'type C<'a> = C of ...'.