Use clippy for copy/paste