(By concern above is the placement of this. The `ignore_share` flag becomes "ignore the *next* share", not "ignore the shareability of the LHS of this assignment".)