Fix ICE in BuildDisposableCleanup when Dispose extension methods are in scope

[Copilot]

BuildDisposableCleanup crashes with an ICE ("Couldn't find Dispose on IDisposable, or it was overloaded") when a C#-style Dispose extension method is in scope alongside the intrinsic IDisposable.Dispose.

open System
open System.Runtime.CompilerServices

type Disposable() =
    interface IDisposable with 
        member _.Dispose() = ()

[<Extension>]
type PublicExtensions =
    [<Extension>]
    static member inline Dispose(this: #IDisposable) = this

let foo() =
    use a = new Disposable()  // ICE here
    ()

Cause

The lookup uses TryFindIntrinsicOrExtensionMethInfo with ResultCollectionSettings.AllResults, which collects both intrinsic and extension methods. The subsequent | [x] -> x match fails when >1 candidate is returned.

Fix

Switch to ResultCollectionSettings.AtMostOneResult. This leverages the existing priority mechanism in AllMethInfosOfTypeInScope — when intrinsic methods are found, extension methods are skipped. Same priority rules as a hand-written (x :> IDisposable).Dispose() call.

[github-actions]

❗ Release notes required

@copilot,

Caution

No release notes found for the changed paths (see table below).

Please make sure to add an entry with an informative description of the change as well as link to this pull request, issue and language suggestion if applicable. Release notes for this repository are based on Keep A Changelog format.

The following format is recommended for this repository:

* <Informative description>. ([PR #XXXXX](https://github.com/dotnet/fsharp/pull/XXXXX))

See examples in the files, listed in the table below or in th full documentation at https://fsharp.github.io/fsharp-compiler-docs/release-notes/About.html.

If you believe that release notes are not necessary for this PR, please add NO_RELEASE_NOTES label to the pull request.

You can open this PR in browser to add release notes: open in github.dev

Change path	Release notes path	Description
src/Compiler	docs/release-notes/.FSharp.Compiler.Service/11.0.100.md	No release notes found or release notes format is not correct