model-checking
diff --git a/‎tests/run-make/allow-non-lint-warnings-cmdline/rmake.rs
-8 b/‎tests/run-make/allow-non-lint-warnings-cmdline/rmake.rs
-8
diff --git a/‎tests/run-make/allow-non-lint-warnings-cmdline/foo.rs renamed to ‎tests/ui/allow-non-lint-warnings.rs
+3 b/‎tests/run-make/allow-non-lint-warnings-cmdline/foo.rs renamed to ‎tests/ui/allow-non-lint-warnings.rs
+3
@@ -1,3 +1,6 @@
+//@ compile-flags: -Awarnings
+//@ check-pass
+
 #[derive()]
 #[derive(Copy, Clone)]
 pub struct Foo;