Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

[red-knot] Port 'deferred annotations' unit tests to Markdown #15686

Merged
merged 5 commits into from
Jan 23, 2025

Conversation

sharkdp
Copy link
Contributor

@sharkdp sharkdp commented Jan 23, 2025

Summary

  • Port "deferred annotations" unit tests to Markdown
  • Port implicit_global_in_function unit test to Markdown
  • Removed resolve_method and local_inference unit tests. These seem like relics from a time where type inference was in it's early stages. There is no way that these tests would fail today without lots of other things going wrong as well.

part of #13696
based on #15683

Test Plan

New MD tests for existing Rust unit tests.

@sharkdp sharkdp added the red-knot Multi-file analysis & type inference label Jan 23, 2025
@@ -6080,29 +6079,6 @@ mod tests {
assert_diagnostic_messages(diagnostics, expected);
}

#[test]
fn resolve_method() -> anyhow::Result<()> {
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Removed without replacement.

}

#[test]
fn local_inference() -> anyhow::Result<()> {
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Removed without replacement.

This comment was marked as resolved.

Copy link
Member

@AlexWaygood AlexWaygood left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you!

@sharkdp sharkdp force-pushed the david/mdtest-custom-typeshed branch from f1e6aaa to 49fc7ce Compare January 23, 2025 11:31
Base automatically changed from david/mdtest-custom-typeshed to main January 23, 2025 11:36
@sharkdp sharkdp force-pushed the david/port-deferred-annotations-tests branch from c513ba8 to 2022245 Compare January 23, 2025 11:40
@sharkdp sharkdp enabled auto-merge (squash) January 23, 2025 11:40
@sharkdp sharkdp merged commit 1e790d3 into main Jan 23, 2025
20 checks passed
@sharkdp sharkdp deleted the david/port-deferred-annotations-tests branch January 23, 2025 11:45
dcreager added a commit that referenced this pull request Jan 24, 2025
* main:
  [red-knot] MDTests: Do not depend on precise public-symbol type inference (#15691)
  [red-knot] Make `infer.rs` unit tests independent of public symbol inference (#15690)
  Tidy knot CLI tests (#15685)
  [red-knot] Port comprehension tests to Markdown (#15688)
  Create Unknown rule diagnostics with a source range (#15648)
  [red-knot] Port 'deferred annotations' unit tests to Markdown (#15686)
  [red-knot] Support custom typeshed Markdown tests (#15683)
  Don't run the linter ecosystem check on PRs that only touch red-knot crates (#15687)
  Add `rules` table to configuration (#15645)
  [red-knot] Make `Diagnostic::file` optional (#15640)
  [red-knot] Add test for nested attribute access (#15684)
  [red-knot] Anchor relative paths in configurations (#15634)
  [`pyupgrade`] Handle multiple base classes for PEP 695 generics (`UP046`) (#15659)
  [`pyflakes`] Treat arguments passed to the `default=` parameter of `TypeVar` as type expressions (`F821`) (#15679)
  Upgrade zizmor to the latest version in CI (#15649)
  [`pyupgrade`] Add rules to use PEP 695 generics in classes and functions (`UP046`, `UP047`) (#15565)
  [red-knot] Ensure a gradual type can always be assigned to itself (#15675)
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
red-knot Multi-file analysis & type inference
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants