Unexpected warning The default value does not have the same type as the argument

[BoundedChenn31]

Repro steps

Consider the following code

open System
open System.Runtime.InteropServices
open System.Threading

type Bar() =
    let consumeToken (ct: CancellationToken) = ()

    member _.Foo(s: string, [<Optional; DefaultParameterValue(CancellationToken())>] ct) =
        consumeToken ct
        Unchecked.defaultof<string>

    member x.Foo(i: int, [<Optional; DefaultParameterValue(CancellationToken())>] ct) =
        let s = i.ToString()
        x.Foo(s, ct)

For second overload compiler produces warning FS3211: The default value does not have the same type as the argument. The DefaultParameterValue attribute and any Optional attribute will be ignored. Note: 'null' needs to be annotated with the correct type, e.g. 'DefaultParameterValue(null:obj)'.

ct is of type CancellationToken and also gets compiled to it. The warning seems redundant. It's possible to get rid of the warning by specifying type explicitly ct: CancellationToken.

Expected behavior

No warning issued.

Actual behavior

Seemingly unnecessary warning.

Known workarounds

Provide type explicitly.

Related information

.NET SDK 9.0.102

[T-Gro]

Since the issue is gone if you use a type annotation:

This may be caused by combination of method resolution for x.Foo and type inference for ct.
There likely is a timing issue, perharps the checks for DefaultParameterValue could be moved later in the typechecking pipeline.