Formatting of multi-constrained SRTP functions needs improvement

[dsyme]

The formatting of the F# library source for signature files for functions like Array.averageBy needs improvement before we can adopt Fantomas on those files.

The multiple SRTP constraints need to be lined up vertically I think, anything else is problematic.

For example see below

Issue created from fantomas-online

Code

    /// Throws <c>ArgumentException</c>
    /// </example>
    [<CompiledName("Average")>]
    val inline average   : array:^T[] -> ^T   
                             when ^T : (static member ( + ) : ^T * ^T -> ^T) 
                             and  ^T : (static member DivideByInt : ^T*int -> ^T) 
                             and  ^T : (static member Zero : ^T)

Result

/// Throws <c>ArgumentException</c>
/// </example>
[<CompiledName("Average")>]
val inline average: array: ^T[] -> ^T
    when ^T: (static member (+): ^T * ^T -> ^T) and ^T: (static member DivideByInt: ^T * int -> ^T) and ^T: (static member Zero:
        ^T)

Problem description

Please describe here the Fantomas problem you encountered.
Check out our Contribution Guidelines.

Extra information

• The formatted result breaks my code.
• The formatted result gives compiler warnings.
• I or my company would be willing to help fix this.

Options

Fantomas master branch at 2022-05-04T06:20:06Z - 0e036ac

Default Fantomas configuration

Signature file

_{Did you know that you can ignore files when formatting from fantomas-tool or the FAKE targets by using a .fantomasignore file?}

[nojaf]

Looking at the style guide the example isn't explicitly mentioned, so that might be interesting to have there.

Would the expected outcome be something like:

/// Throws <c>ArgumentException</c>
/// </example>
[<CompiledName("Average")>]
val inline average : array:^T[] -> ^T   
   when ^T : (static member ( + ) : ^T * ^T -> ^T) 
   and  ^T : (static member DivideByInt : ^T*int -> ^T) 
   and  ^T : (static member Zero : ^T)

?