a stealing issue

hacspec · Jan 30, 2024 · aa14fb1 · aa14fb1
1 parent 06138b5
commit aa14fb1
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/tests/rust-ast/src/lib.rs b/tests/rust-ast/src/lib.rs
@@ -10,3 +10,11 @@ impl Error {
         || Self::Fail
     }
 }
+
+// error: The THIR body of item DefId(0:7 ~ rust_ast[d581]::main::_::{constant#1}) was stolen.
+
+const _MY_CONST: bool = true;
+
+pub fn main() {
+    const _: [(); 1] = [(); _MY_CONST as usize];
+}