Flexible parameter generation issue

[TheAngryByrd]

Issue created from telplin-online

Implementation

namespace FsToolkit.ErrorHandling

[<AutoOpen>]
module ResultCE =
    type ResultBuilder() =
        member inline _.Return(value: 'ok) : Result<'ok, 'error> = Ok value

[<AutoOpen>]
module ResultCEExtensions =

    type ResultBuilder with

        /// <summary>
        /// Needed to allow `for..in` and `for..do` functionality
        /// </summary>
        member inline _.Source(s: #seq<_>) : #seq<_> = s

Signature

namespace FsToolkit.ErrorHandling

[<AutoOpen>]
module ResultCE =
    type ResultBuilder =
        new: unit -> ResultBuilder
        member inline Return: value: 'ok -> Result<'ok, 'error>

[<AutoOpen>]
module ResultCEExtensions =
    type ResultBuilder with

        /// <summary>
        /// Needed to allow `for..in` and `for..do` functionality
        /// </summary>
        member inline Source: s: #seq<_> -> 'a when 'a :> seq<'b>

Problem description

(16, 24) (16,30)errorFS0034
Module 'FsToolkit.ErrorHandling.ResultCEExtensions' contains member ResultBuilder.Source<'a,'b when 'a :> seq<'b>> : s: 'a -> 'a when 'a :> seq<'b> but its signature specifies member ResultBuilder.Source<'a0,'a1,'a,'b when 'a0 :> seq<'a1> and 'a :> seq<'b>> : s: #seq<'a1> -> #seq<'b> The respective type parameter counts differ

Extra information

• The proposed signature has problems.
• I or my company would be willing to help fix this.

[nojaf]

Hi Jimmy, thanks for the issue report.
Everybody gets one: #50

Cheers