Decompose non-constant-offset byte_extract from union in field sensitivity#8958

Merged

tautschnig merged 2 commits intodiffblue:developfrom

tautschnig:fix-8813-follow-up

Apr 14, 2026

Commits on Apr 13, 2026

Decompose non-constant-offset byte_extract from union in field sensitivity

tautschnig
and
kiro-agent
committed
Simplify non-constant-offset union decomposition in apply_byte_extract

tautschnig
and
kiro-agent
committed