Skip to content

Show the actual type of RHS on type error when LHS is a pattern with a type annotation - #19284

Open
travv0 wants to merge 6 commits into
dotnet:mainfrom
travv0:wrong-type-reported-when-annotation-doesnt-match-pattern
Open

Show the actual type of RHS on type error when LHS is a pattern with a type annotation#19284
travv0 wants to merge 6 commits into
dotnet:mainfrom
travv0:wrong-type-reported-when-annotation-doesnt-match-pattern

Merge branch 'main' into wrong-type-reported-when-annotation-doesnt-m…

f708022
Select commit
Loading
Failed to load commit list.
Azure Pipelines / fsharp-ci (Build FsharpPlus_NET10_Docs Regression Test) failed Apr 28, 2026 in 7m 35s

Build FsharpPlus_NET10_Docs Regression Test failed

2 errors / 0 warnings

Annotations

Check failure on line 282 in Build log

See this annotation in the file changed.

@azure-pipelines azure-pipelines / fsharp-ci (Build FsharpPlus_NET10_Docs Regression Test)

Build log #L282 

PowerShell exited with code '1'.

Check failure on line 1 in azure-pipelines-PR.yml

See this annotation in the file changed.

@azure-pipelines azure-pipelines / fsharp-ci (Build FsharpPlus_NET10_Docs Regression Test)

azure-pipelines-PR.yml#L1 

azure-pipelines-PR.yml(,): error : Regression test failed: FsharpPlus_NET10_Docs
View more details on Azure Pipelines