feat: Add unquote function

compiler/noirc_frontend/src/parser/parser/types.rs

@@ -54,15 +54,7 @@ pub(super) fn parenthesized_type(
 }
 
 pub(super) fn maybe_comp_time() -> impl NoirParser<bool> {
-    keyword(Keyword::Comptime).or_not().validate(|opt, span, emit| {
-        if opt.is_some() {
-            emit(ParserError::with_reason(
-                ParserErrorReason::ExperimentalFeature("Comptime values"),
-                span,
-            ));
-        }
-        opt.is_some()
-    })
+    keyword(Keyword::Comptime).or_not().map(|opt| opt.is_some())
 }
 
 pub(super) fn field_type() -> impl NoirParser<UnresolvedType> {

noir_stdlib/src/meta/mod.nr

@@ -1 +1,8 @@
 mod type_def;
+
+/// Calling unquote as a macro (via `unquote!(arg)`) will unquote
+/// its argument. Since this is the effect `!` already does, `unquote`
+/// itself does not need to do anything besides return its argument.
+pub comptime fn unquote(code: Quoted) -> Quoted {
+    code
+}

test_programs/compile_success_empty/unquote/Nargo.toml

@@ -0,0 +1,7 @@
+[package]
+name = "unquote"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.31.0"
+
+[dependencies]

test_programs/compile_success_empty/unquote/src/main.nr

@@ -0,0 +1,3 @@
+fn main() {
+    std::meta::unquote!(quote { assert(true); });
+}