From dfa5c7b09849708e33047b7334dd2b778cc2f55c Mon Sep 17 00:00:00 2001
From: Luca Versari <veluca93@gmail.com>
Date: Fri, 5 Jun 2026 11:23:10 +0200
Subject: [PATCH] Add a smoke test for the optimize attribute.

---
 tests/ui/attributes/optimize-smoke-test.rs | 25 ++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 tests/ui/attributes/optimize-smoke-test.rs

diff --git a/tests/ui/attributes/optimize-smoke-test.rs b/tests/ui/attributes/optimize-smoke-test.rs
new file mode 100644
index 0000000000000..9d8e75c4bec5e
--- /dev/null
+++ b/tests/ui/attributes/optimize-smoke-test.rs
@@ -0,0 +1,25 @@
+//! Basic smoke test for `#[optimize(..)]` attributes.
+//@ run-pass
+
+#![feature(optimize_attribute)]
+
+#[optimize(speed)]
+fn optimized_speed() -> i32 {
+    42
+}
+
+#[optimize(size)]
+fn optimized_size() -> i32 {
+    42
+}
+
+#[optimize(none)]
+fn optimized_none() -> i32 {
+    42
+}
+
+fn main() {
+    assert_eq!(optimized_speed(), 42);
+    assert_eq!(optimized_size(), 42);
+    assert_eq!(optimized_none(), 42);
+}