Apply specified types in place on a batched working copy - #6168

Merged

ondrejmirtes merged 6 commits into

2.2.xfrom

apply-specified-types-in-place

Aug 3, 2026

Commits on Aug 3, 2026

Specify expression types in place on an unpublished working copy

ondrejmirtes
and
claude
committed
be047b8
Batch specified-type application on one working copy

ondrejmirtes
and
claude
committed
6d7b2ca
Build the type-specification list inline, sorting alternative-form entries in

ondrejmirtes
and
claude
committed
127ffe8
Rename filterBySpecifiedTypes() to applySpecifiedTypes()

ondrejmirtes
and
claude
committed
a1ebc5e
Keep the held type when only changing an expression's certainty

ondrejmirtes
and
claude
committed
1059d9e
Bump expected turbo version
ondrejmirtes
committed
0e53dd0