Upcasts for access-permissions on strict supertypes#106

Draft

pawinkler wants to merge 2 commits intopaul/interface-permissionsfrom

Commits on Apr 9, 2026

Introduce Upcast embedding for permission unfolding at type boundaries

pawinkler
and
claude
committed
Updated test cases to match changes; testPure_upcast does not verify which is an open problem
pawinkler
committed