SRTP or condition disappear when non-generic type is used

[jindraivanek]

Issue created from fantomas-online

Code

let inline deserialize< ^a when ( ^a or FromJsonDefaults) : (static member FromJson :  ^a -> Json< ^a>)> json =
    json |> Json.parse |> Json.deserialize< ^a>

Result

let inline deserialize< ^a when ^a: (static member FromJson: ^a -> Json< ^a >)> json =
    json |> Json.parse |> Json.deserialize< ^a>

Problem description

See title.

Note, that let inline deserialize< ^a when ( ^a or ^b) : (static member FromJson : ^a -> Json< ^a>)> json = json |> Json.parse |> Json.deserialize< ^a> works correctly.

Related to #984.

Extra information

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

Options

Fantomas master branch at 2022-03-27T13:24:16Z - fbd4b7f

    { config with
                MaxValueBindingWidth = 40 }

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

[nojaf]

Hey, thanks for raising this issue.
I noticed we seem to ignore anything else than SynType.Var in

fantomas/src/Fantomas/SourceParser.fs

Lines 1604 to 1611 in 3e8086f

	| SynTypeConstraint.WhereTyparSupportsMember (tps, msg, _) ->
	TyparSupportsMember(
	List.choose
	(function
	| SynType.Var (tp, _) -> Some tp
	| _ -> None)
	tps,
	msg

We probably need to extend that code a bit.

[nojaf]

Fixed in #2173