Skip to content

[ty] Preserve type context kind when propagating to nested expressions - #30280

Draft
ibraheemdev wants to merge 1 commit into
mainfrom
ibraheem/preserve-tcx-kind
Draft

ibraheemdev wants to merge 1 commit into
mainfrom
ibraheem/preserve-tcx-kind

Conversation

@ibraheemdev

Copy link
Copy Markdown
Member

TBD.

@ibraheemdev ibraheemdev added bug An issue describing something that isn't working, or a PR that fixes a bug ty The ty type checker labels Nov 10, 2026
@ibraheemdev
ibraheemdev added this pull request to stack #30282 November 10, 2026 20:11
@astral-automations-bot

Copy link
Copy Markdown
Contributor

Typing conformance results

No changes detected ✅

Current numbers
The percentage of diagnostics emitted that were expected errors held steady at 98.60%. The percentage of expected errors that received a diagnostic held steady at 98.86%. The number of fully passing files held steady at 137/146.

Results for a75f443 · Workflow run

@astral-automations-bot

Copy link
Copy Markdown
Contributor

Memory usage report

Summary

Project Old New Diff Outcome
trio 90.82MB 90.87MB +0.06% (59.47kB) ⏫
prefect 446.32MB 446.33MB +0.00% (8.75kB) ⏫
sphinx 176.07MB 176.07MB +0.00% (8.00B) ⏫
flake8 35.98MB 35.98MB - ✅

Significant changes

Click to expand detailed breakdown

trio

Name Old New Diff Outcome
infer_scope_types_impl 2.91MB 2.94MB +1.19% (35.58kB) ⏫
assignable_solutions_impl::interned_arguments 73.73kB 82.77kB +12.26% (9.04kB) ⏫
assignable_solutions_impl 162.18kB 167.50kB +3.28% (5.32kB) ⏫
infer_expression_types_impl 5.66MB 5.66MB +0.06% (3.59kB) ⏫
TypePair 1.28MB 1.28MB +0.26% (3.47kB) ⏫
when_constraint_set_assignable_to_owned_impl 681.07kB 683.14kB +0.30% (2.07kB) ⏫
when_assignable_to_owned_impl::interned_arguments 192.45kB 193.57kB +0.58% (1.12kB) ⏫
when_assignable_to_owned_impl 169.21kB 170.18kB +0.58% (1000.00B) ⏫
infer_definition_types 4.68MB 4.68MB -0.01% (280.00B) ⬇️
CallableType 1.76MB 1.76MB +0.01% (232.00B) ⏫
try_call_dunder_get_inner::interned_arguments 119.00kB 118.78kB -0.18% (224.00B) ⬇️
simplify_intersection_pair_impl 94.46kB 94.27kB -0.20% (192.00B) ⬇️
is_redundant_with_impl 359.32kB 359.13kB -0.05% (192.00B) ⬇️
member_lookup_with_policy_inner 1.07MB 1.07MB -0.01% (160.00B) ⬇️
sync_context_manager_suppresses 118.80kB 118.65kB -0.12% (152.00B) ⬇️
... 9 more

prefect

Name Old New Diff Outcome
TypePair 6.64MB 6.64MB +0.03% (1.97kB) ⏫
infer_definition_types 36.62MB 36.63MB +0.00% (1.64kB) ⏫
assignable_solutions_impl::interned_arguments 287.42kB 288.95kB +0.53% (1.52kB) ⏫
when_constraint_set_assignable_to_owned_impl 4.05MB 4.05MB +0.02% (864.00B) ⏫
assignable_solutions_impl 720.26kB 721.10kB +0.12% (856.00B) ⏫
infer_expression_types_impl 22.50MB 22.50MB +0.00% (824.00B) ⏫
infer_scope_types_impl 19.69MB 19.69MB +0.00% (560.00B) ⏫
when_assignable_to_owned_impl::interned_arguments 1.13MB 1.13MB +0.02% (288.00B) ⏫
when_assignable_to_owned_impl 1003.43kB 1003.62kB +0.02% (200.00B) ⏫
ScopeWithContext 59.53kB 59.61kB +0.13% (80.00B) ⏫
loop_header_reachability 285.47kB 285.48kB +0.01% (16.00B) ⏫
analyze_non_terminal_call 1.08MB 1.08MB +0.00% (8.00B) ⏫
all_narrowing_constraints_for_expression 2.99MB 2.99MB +0.00% (8.00B) ⏫

sphinx

Name Old New Diff Outcome
infer_scope_types_impl 7.44MB 7.44MB +0.00% (8.00B) ⏫

Results for a75f443 · Workflow run

@astral-automations-bot

Copy link
Copy Markdown
Contributor

ecosystem-analyzer results

No diagnostic changes detected ✅

Large timing changes:

Project Old Time New Time Change
janus 0.06s 0.10s +63%

Flaky changes detected. This PR summary excludes flaky changes; see the HTML report for details.

Full report with detailed diff · Timing results


Results for a75f443 · Workflow run

This branch was successfully deployed

1 active deployment
automations — a75f4437 Deployed Nov 10, 2026 by ibraheemdev via security-review / security review #98065
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug An issue describing something that isn't working, or a PR that fixes a bug ty The ty type checker

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant