Skip to content

Comments

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

Merged
sharkdp merged 5 commits intomainfrom
david/port-deferred-annotations-tests
Jan 23, 2025
Merged

[red-knot] Port 'deferred annotations' unit tests to Markdown#15686
sharkdp merged 5 commits intomainfrom
david/port-deferred-annotations-tests

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 ty Multi-file analysis & type inference label Jan 23, 2025
}

#[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.

@github-actions

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

ty Multi-file analysis & type inference

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants