Our custom derives sometimes emit code which generates its own internal items. They are designed so that the emitted items will shadow any items defined in the user's code, and thus those outer items can't affect the semantics of our emitted code.

However, we should explicitly test for this. In particular, for every item which is generated by our derives, we should add a test in zerocopy-derive/tests which defines items of the same names and confirms that a) compilation succeeds and that, b) the derives are still correct. Determining "correctness" is hard and may differ on a case-by-case basis.