@julia I once tried for shits and giggles dereference a "Infallible" which is a zero sized type (more precisely, an Enum with no fields) with a friend
and yeah we didn't achieve anything
So yeah it does not allocate anything cus, what would it even allocate?