diff options
-rw-r--r-- | ci/style.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ci/style.rs b/ci/style.rs index dcb3536ec3..79574eb44e 100644 --- a/ci/style.rs +++ b/ci/style.rs @@ -134,6 +134,9 @@ fn check_style(file: &str, path: &Path, err: &mut Errors) { instead of #[cfg]"); } } + if line.contains("#[derive(") && (line.contains("Copy") || line.contains("Clone")) { + err.error(path, i, "impl ::Copy and ::Clone manually"); + } let line = line.trim_start(); let is_pub = line.starts_with("pub "); |