`[<CompiledName>]` attribute applied to only one overload of 2 is not applied at all

[xperiandri]

Repro steps

Does not work

[<AutoOpen; System.Runtime.CompilerServices.Extension>]
module Microsoft.Extensions.DependencyInjection.OpenIddictCosmosDbExtensions

open System
open System.Runtime.CompilerServices
open System.Runtime.InteropServices
open Microsoft.Extensions.DependencyInjection.Extensions

type OpenIddictCoreBuilder with

    [<Extension; CompiledName "UseCosmosDb">]
    member builder.UseCosmosDb ([<Optional; DefaultParameterValue false>] storeScopesAndAppsInMemory : bool) = ()

    member builder.UseCosmosDb (configuration : Action<OpenIddictCosmosDbBuilder>) = ()

Works

[<AutoOpen; System.Runtime.CompilerServices.Extension>]
module Microsoft.Extensions.DependencyInjection.OpenIddictCosmosDbExtensions

open System
open System.Runtime.CompilerServices
open System.Runtime.InteropServices
open Microsoft.Extensions.DependencyInjection.Extensions

type OpenIddictCoreBuilder with

    [<Extension; CompiledName "UseCosmosDb">]
    member builder.UseCosmosDb ([<Optional; DefaultParameterValue false>] storeScopesAndAppsInMemory : bool) = ()

    [<Extension; CompiledName "UseCosmosDb">]
    member builder.UseCosmosDb (configuration : Action<OpenIddictCosmosDbBuilder>) = ()

Expected behavior

The attribute action is either applied, or a compilation error is returned

Actual behavior

The attribute action is silently ignored

Known workarounds

Use attrute in all the overloads

Related information

Provide any related information (optional):

• Windows 10.0.26200
• .NET 10.0.202
• Visual Studio Insider [11709.129]