Enforce scoverage type lifting to be observationally transparent for later phases - #26895

Open

anatoliykmetyuk wants to merge 9 commits into

anatoliykmetyuk:br/swe-111-type-transparent-lifting

Commits on Aug 26, 2026

fix(coverage): preserve lifted argument type identity
anatoliykmetyuk
committed
f2821e9
fix(coverage): preserve proxy semantics during recheck
anatoliykmetyuk
committed
6551fa7
fix(coverage): preserve nested proxy identities
anatoliykmetyuk
committed
8ef1d10
fix(coverage): minimize lifted argument transparency
anatoliykmetyuk
committed
549bf8e
fix(coverage): preserve annotated parameter dependencies
anatoliykmetyuk
committed
fe20bcc
refactor(coverage): reduce lifting transparency machinery
anatoliykmetyuk
committed
8c3ddf3
refactor(coverage): preserve transformed argument types directly
anatoliykmetyuk
committed
ccbb7ad
fix(coverage): synchronize capture refinement eligibility
anatoliykmetyuk
committed
9bdbab2
refactor(coverage): mark lifted definitions directly
anatoliykmetyuk
committed
4946257