Merge pull request #143 from ch-systems/alex/specific-type-formalization #44
seznaAnnotations
1 error, 1 warning, and 7 notices
|
check_todos
Can't close issue [return QueryableTypeChecked instead of type checker]! No issueId found
|
|
check_todos
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/
|
|
check_todos
Creating issue with title [better errors here] because of a comment
|
|
check_todos
Creating issue with title [get span for type annotation instead of just the name of the parameter] because of a comment
|
|
check_todos
Creating issue with title [decide if user-defined types should be able to safely upcast, or if only] because of a comment
|
|
check_todos
Creating issue with title [this rule feels incorrect. A literal being unified to the parent type] because of a comment
|
|
check_todos
Creating issue with title [remove clone] because of a comment
|
|
check_todos
Creating issue with title [rewrite below rules] because of a comment
|
|
check_todos
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
|