Skip to content

Fix red-knot compilation#11727

Merged
charliermarsh merged 1 commit intomainfrom
charlie/r
Jun 4, 2024
Merged

Fix red-knot compilation#11727
charliermarsh merged 1 commit intomainfrom
charlie/r

Conversation

@charliermarsh
Copy link
Copy Markdown
Member

Summary

Perhaps a result of a bad rebase, but cargo clippy --fix --workspace --all-targets -- -D warnings does not pass on main as-is.

use crate::db::{HasJar, SemanticJar};
use crate::module::{
set_module_search_paths, ModuleName, ModuleSearchPath, ModuleSearchPathKind,
resolve_module, set_module_search_paths, ModuleName, ModuleSearchPath, ModuleSearchPathKind,
Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

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

Some of these symbols were missing.

}

#[test]
fn resolve_visible_def() -> anyhow::Result<()> {
Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

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

This is defined twice. I assume the second version is a superset of it.

@charliermarsh charliermarsh enabled auto-merge (squash) June 4, 2024 03:01
@charliermarsh charliermarsh merged commit 2f8ac1e into main Jun 4, 2024
@charliermarsh charliermarsh deleted the charlie/r branch June 4, 2024 03:03
@github-actions
Copy link
Copy Markdown
Contributor

github-actions bot commented Jun 4, 2024

ruff-ecosystem results

Linter (stable)

✅ ecosystem check detected no linter changes.

Linter (preview)

✅ ecosystem check detected no linter changes.

@carljm
Copy link
Copy Markdown
Contributor

carljm commented Jun 4, 2024

Sorry! I thought CI was green on the PRs I merged, but there must have been one that didn't merge well into main. Thanks for fixing.

@charliermarsh
Copy link
Copy Markdown
Member Author

No prob don't sweat it.

carljm added a commit that referenced this pull request Jun 4, 2024
* main:
  [`flake8-pyi`] Implement `PYI063` (#11699)
  Fix `red-knot` compilation (#11727)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants