diff --git a/clippy_workspace_tests/build.rs b/clippy_workspace_tests/build.rs
new file mode 100644
index 00000000000..3cc95765210
--- /dev/null
+++ b/clippy_workspace_tests/build.rs
@@ -0,0 +1,5 @@
+fn main() {
+    // Test for #6041
+    println!("Hello");
+    print!("Hello");
+}