Caching for the `Copy` trait is not sufficiently context sensitive

The caching added by opt-in builtin-copy is global, but it should really take into account the parameter environment, because it is affected by the set of where clauses in scope (and this is not a fixed quantity once generalized where clauses are implemented).

Nominating. This will probably get fixed by me as part of work on generalized where clauses.
