Cyclic0007/ruff
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[ty] upgrade salsa (#21575)

Browse Source
This commit is contained in:
Carl Meyer
2025-11-22 02:46:57 -08:00
committed by GitHub
parent 768bb24cdf
commit f495c6d4ae
4 changed files with 9 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
crates/ty_python_semantic/src/types/infer.rs
View File

@@ -113,13 +113,12 @@ pub(crate) fn infer_definition_types<'db>(
fn definition_cycle_recover<'db>(
db: &'db dyn Db,
_id: salsa::Id,
cycle: &salsa::Cycle,
last_provisional_value: &DefinitionInference<'db>,
value: DefinitionInference<'db>,
count: u32,
definition: Definition<'db>,
) -> DefinitionInference<'db> {
if &value == last_provisional_value || count != ITERATIONS_BEFORE_FALLBACK {
if &value == last_provisional_value || cycle.iteration() != ITERATIONS_BEFORE_FALLBACK {
value
} else {
DefinitionInference::cycle_fallback(definition.scope(db))
@@ -227,13 +226,12 @@ pub(crate) fn infer_isolated_expression<'db>(
fn expression_cycle_recover<'db>(
db: &'db dyn Db,
_id: salsa::Id,
cycle: &salsa::Cycle,
last_provisional_value: &ExpressionInference<'db>,
value: ExpressionInference<'db>,
count: u32,
input: InferExpression<'db>,
) -> ExpressionInference<'db> {
if &value == last_provisional_value || count != ITERATIONS_BEFORE_FALLBACK {
if &value == last_provisional_value || cycle.iteration() != ITERATIONS_BEFORE_FALLBACK {
value
} else {
ExpressionInference::cycle_fallback(input.expression(db).scope(db))