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.

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/.