Skip to content
Commit 62cdfdab authored by Simon Pilgrim's avatar Simon Pilgrim
Browse files

[DAG] canCreateUndefOrPoison - add freeze(insert_subvector(x,y,c)) ->... 

[DAG] canCreateUndefOrPoison - add freeze(insert_subvector(x,y,c)) -> insert_subvector(freeze(x),freeze(y),c) support

We already have plenty of assertions in place to ensure that the insertion index is constant and inrange
parent 3968844b
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment