Skip to content

Checker refuses a non-Bool match guard (PositionMatchGuard); Int guards counted as expected red - #12829

Closed
gunbai-bot[bot] wants to merge 5 commits into
session/bright-owl-402from
guard-checker
Closed

Checker refuses a non-Bool match guard (PositionMatchGuard); Int guards counted as expected red#12829
gunbai-bot[bot] wants to merge 5 commits into
session/bright-owl-402from
guard-checker

Checker refuses a non-Bool match guard (PositionMatchGuard obligation…

7f21961
Select commit
Loading
Failed to load commit list.

There are no checks for this commit