Skip to content

Comments

[red-knot] move standalone expression_ty to TypeInferenceBuilder::file_expression_ty#14879

Merged
carljm merged 3 commits intomainfrom
cjm/exprty
Dec 9, 2024
Merged

[red-knot] move standalone expression_ty to TypeInferenceBuilder::file_expression_ty#14879
carljm merged 3 commits intomainfrom
cjm/exprty

Conversation

@carljm
Copy link
Contributor

@carljm carljm commented Dec 9, 2024

Summary

Per suggestion in #14802 (comment)

This is a bit less error-prone and allows us to handle both expressions in the current scope or a different scope. Also, there's currently no need for this method outside of TypeInferenceBuilder, so no reason to expose it in types.rs.

Test Plan

Pure refactor, no functional change; existing tests pass.

Copy link
Member

@dhruvmanila dhruvmanila left a comment

Choose a reason for hiding this comment

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

Thanks!

@dhruvmanila dhruvmanila added the ty Multi-file analysis & type inference label Dec 9, 2024
@github-actions
Copy link
Contributor

github-actions bot commented Dec 9, 2024

ruff-ecosystem results

Linter (stable)

✅ ecosystem check detected no linter changes.

Linter (preview)

✅ ecosystem check detected no linter changes.

@carljm carljm enabled auto-merge (squash) December 9, 2024 16:58
@carljm carljm merged commit 533e8a6 into main Dec 9, 2024
@carljm carljm deleted the cjm/exprty branch December 9, 2024 17:02
dcreager added a commit that referenced this pull request Dec 10, 2024
* main:
  [`airflow`] Add fix to remove deprecated keyword arguments (`AIR302`) (#14887)
  Improve mdtests style (#14884)
  Reference `suppress-dummy-regex-options` in documentation of rules supporting it (#14888)
  [`flake8-bugbear`] `itertools.batched()` without explicit `strict` (`B911`) (#14408)
  [`ruff`] Mark autofix for `RUF052` as always unsafe (#14824)
  [red-knot] Improve type inference for except handlers (#14838)
  More typos found by codespell (#14880)
  [red-knot] move standalone expression_ty to TypeInferenceBuilder::file_expression_ty (#14879)
  [`ruff`] Do not simplify `round()` calls (`RUF046`) (#14832)
  Stop referring to early ruff versions (#14862)
  Fix a typo in `class.rs` (#14877)
  [`flake8-pyi`] Also remove `self` and `cls`'s annotation (`PYI034`) (#14801)
  [`pyupgrade`] Remove unreachable code in `UP015` implementation (#14871)
  [`flake8-bugbear`] Skip `B028` if `warnings.warn` is called with `*args` or `**kwargs` (#14870)
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.

3 participants