Process completed with exit code 2.

unreachable code

too many arguments in call to solver.Solve

too many arguments in call to solver.Solve

comment on exported type UnificationInvariant should be of the form "UnificationInvariant ..." (with optional leading article)

comment on exported type NewPolyFunc should be of the form "NewPolyFunc ..." (with optional leading article)

comment on exported method PrintfFunc.Infer should be of the form "Infer ..."

comment on exported method MapFunc.Infer should be of the form "Infer ..."

Process completed with exit code 2.

too many arguments in call to solver.Solve

Process completed with exit code 2.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-go@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Restore cache failed: Dependencies file is not found in /home/runner/work/mgmt/mgmt. Supported file pattern: go.sum

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-go@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Restore cache failed: Dependencies file is not found in /home/runner/work/mgmt/mgmt. Supported file pattern: go.sum

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-go@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.