Incomplete compiler warning on pattern matches with guards

[MecuSorin]

The compiler is truncating the warning on a pattern match with guards that is not covering all possibilities

Repro steps

type Sample = Sample of bool
let example a =
    match a with
    | Sample t when t -> 1
    | Sample t when t -> 2

OR

type Sample = Sample of bool
let example = function
    | Sample t when t -> 1
    | Sample t when t -> 2

Expected behavior

The warning along the lines:
warning FS0025: Incomplete pattern matches on this expression. For example, the value '(Sample false)' may indicate a case not covered by the pattern(s).

Actual behavior
The incomplete warning message:
warning FS0025: Incomplete pattern matches on this expression.

Related information

• Operating system Windows 10 Pro 64
• .NET Runtime kind .NET Core 5.0
• Editing Tools Visual Studio 2019, Visual Studio Code

[MecuSorin]

In my point of view, having a guard in the last case is an anti-pattern. I think that the compiler should generate a separate warning for that also.

[dsyme]

(labelling as a feature improvement, it's not actually a bug)