chore: modify the typecheck as prompted#2553

sozercan merged 4 commits into

open-policy-agent:masteropen-policy-agent/gatekeeper:masterfrom

Fish-pro:chore/typecheckFish-pro/gatekeeper:chore/typecheckCopy head branch name to clipboard