From 1edf88327a71ffc6589d20be1027fbbbc9bc155e Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Tue, 30 Sep 2025 11:00:19 +0100
Subject: [PATCH] repro'd

---
 src/main.rs | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/src/main.rs b/src/main.rs
index 196ad73..6139344 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -1,10 +1,6 @@
 
-macro_rules! discard { { $( $x:tt )* } => {} }
-
 const _ : () = {
-//    discard! {
-        let _ = std::any::TypeId::of::<()>();
-//    }
+    let _ = std::any::TypeId::of::<()>;
 };
 
 fn main(){}
-- 
2.30.2