The where T clause in impl Plugin for a code that has been written before now silently has a +Copy added to it, in the middle of 3 other traits, and attention never drawn to it: neither > marker, nor a numbered comment pointing out that we need it for using the same data across both resources and checks.