tree fb7097f1fe8d9f24ba808939b7f576b9d494777b
parent c6e59f24dd66b3e06e89242ec8e2e3b0f0b4a1a2
author Johnathan Van Why <jrvanwhy@google.com> 1596652734 -0700
committer Johnathan Van Why <jrvanwhy@google.com> 1596652734 -0700

Make Allowed require Copy and remove all the Drop-related complexity.

Originally, I build Allowed so it can work with non-Copy types, which allows Drop types. The semantics of storing non-Copy and non-Drop types in shared memory, however, are somewhat nonobvious. Based on code review feedback, and being particularly cautious because Allowed uses `unsafe`, I decided to add a Copy constraint to Allowed.