The field alignment (padding) is a non-issue here, as `Scoped` only has one field and it'd be quite extraordinary if fields were added *before* the `store` field (or rather, if other fields were added at all). I suppose it doesn't hurt specifying its desired padding, but in the current state or any foreseeable state where it is a no-op, I think it'd be more confusing to the reader than anything.