Merge pull request #143 from ch-systems/alex/specific-type-formalization #44

Summary
Jobs
- check_todos
Run details
- Usage
- Workflow file

Annotations

1 error, 1 warning, and 7 notices

Can't close issue [return QueryableTypeChecked instead of type checker]! No issueId found

The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, DerJuulsn/todo-issue@v1.1.4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

Creating issue with title [better errors here] because of a comment

Creating issue with title [get span for type annotation instead of just the name of the parameter] because of a comment

Creating issue with title [decide if user-defined types should be able to safely upcast, or if only] because of a comment

Creating issue with title [this rule feels incorrect. A literal being unified to the parent type] because of a comment

Creating issue with title [remove clone] because of a comment

Creating issue with title [rewrite below rules] because of a comment

Closing issue #138 because a comment with the title [The unify constraint should attempt to upcast `t2` as `t1` if possible, but will never] were removed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Merge pull request #143 from ch-systems/alex/specific-type-formalization #44

check_todos

Merge pull request #143 from ch-systems/alex/specific-type-formalization #44

Jobs

Run details

Annotations

This job succeeded

Re-running jobs...