| 06:21 | <bakkot> | shu: for resizable array buffers, was there any thought of making TA.p.set(other buffer) grow the target buffer to fit the new data? |
| 06:24 | <bakkot> | I guess the expectation is that users can just manually call .resize first, which is not so bad |
| 14:27 | <shu> | bakkot: i can see an argument for either the current behavior or growing behavior if the argument is growable |
| 14:27 | <shu> | but i haven't actually thought too much about it |