Skip to content
New issue

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

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

Already on GitHub? Sign in 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)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in 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