{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"//"}]}
                // Make sure the slice is not too big.
                let size = elem.size.bytes().saturating_mul(len); // we rely on `max_size_of_val` being smaller than `u64::MAX`.