| 27 Jan 2022 |
 adamgreig | but in your http case, you'd perhaps be putting non-copy Ts into the Vec<T>, so it wouldn't be copy - you choose to make the HttpResponse not Copy | 00:22:03 |
| adamgreig | the vec would only be Copy if it contained Copy items, so that's the level at which ownership can be tracked | 00:22:38 |
| adamgreig | for example, stdlib impls Copy for [T; N] where T: Copy, which is quite similar to the heapless::Vec case | 00:23:36 |
 cr1901 | Amanieu: Because everything to inline asm is Copy, that means I can safely change this function to use lateout? https://github.com/cr1901/msp430-atomic/blob/new-asm/src/lib.rs#L638-L642 | 00:30:05 |
| cr1901 | i.e. the same register can be used for dst and out, even tho the fn sig said "* const Self"? | 00:30:30 |
 dirbaio | Vec<u8, N> is dumb data, and dumb data should be Copy if it can | 00:50:25 |
| dirbaio | if you want ownership semantics you should wrap the Vec in a Response non-Copy struct | 00:50:52 |
| dirbaio | even without Copy, Vec is a really bad way of tracking ownership of stuff, because you can .clone() it :P | 00:53:18 |
| adamgreig | only if T:Clone :P | 00:54:06 |
| adamgreig | but yea, wrapping the vec in a newtype that's not Copy is the way to go to control ownership semantics | 00:54:19 |
| dirbaio | yeah, but same goes for Copy | 00:54:19 |
| adamgreig | (or putting non-Copy items inside the Vec if that happens to make more sense) | 00:54:27 |
| dirbaio | all Clone types should also be Copy if they can | 00:55:35 |
| dirbaio | error[E0184]: the trait `Copy` may not be implemented for this type; the type has a destructor
--> src/vec.rs:845:1
|
845 | impl<T, const N: usize> Copy for Vec<T, N> where T: Copy {}
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Copy not allowed on types with destructors
| 01:02:01 |
| dirbaio | ohhmm whoops | 01:02:05 |
| adamgreig | I guess that's why not | 01:03:50 |
| dirbaio | yeah, RIP | 01:03:56 |
| dirbaio | and you can't do stuff like impl Drop for Vec<T, N> where T: Drop, or impl Drop for Vec<T, N> where T: !Copy | 01:04:25 |
| dirbaio | shame shame shame | 01:04:29 |
| adamgreig | did docs.rs get a cool new theme for new crates or something? the heapless page looks great | 01:05:32 |
| dirbaio | 
Download screenshot-2022-01-27_02-15-20.png | 01:15:29 |
| dirbaio | sorted_li
nked_list
👌 | 01:15:52 |
| adamgreig | ugh, i keep bumping in to f32 just mysteriously not having abs() on thumbv7 targets | 01:28:27 |
| adamgreig | i can see not having trig functions and stuff, but abs isn't transcendental 🙈 | 01:28:57 |
| adamgreig | 5 years ago: https://github.com/adamgreig/labrador-ldpc/blob/master/src/decoder.rs#L19-L29 | 01:30:14 |
| adamgreig | rust now has f32::to_bits() and from_bits() so I guess I could do a bit better... | 01:31:59 |
| adamgreig | f32::from_bits(x.to_bits() & 0x7FFF_FFFF) nice | 01:34:31 |
| adamgreig | compiles to bic r0, r0, #-2147483648, I'll take it | 01:36:02 |
|  starblue1 left the room. | 02:57:51 |
| starblue1 joined the room. | 02:59:18 |
