Null, or a pointer to a freshly generated pointee when the Rng allows pointers.
fill_pointer :: (r: *Rng, info: *Type_Info_Pointer, dst: *u8)