rustc: Anti-copy police