Skip to content

More accurate range for pattern matching error reporting#15733

Merged
vzarytovskii merged 13 commits into
dotnet:mainfrom
edgarfgp:use-more-accurate-range-for-pattern-matching-error-reporting
Aug 15, 2023
Merged

More accurate range for pattern matching error reporting#15733
vzarytovskii merged 13 commits into
dotnet:mainfrom
edgarfgp:use-more-accurate-range-for-pattern-matching-error-reporting

Simplify check

2da665e
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs