feat: add std::meta::type_of and impl Eq for Type

compiler/noirc_frontend/src/hir/comptime/interpreter/builtin.rs

@@ -55,6 +55,8 @@ impl<'local, 'context> Interpreter<'local, 'context> {
             }
             "quoted_as_trait_constraint" => quoted_as_trait_constraint(self, arguments, location),
             "quoted_as_type" => quoted_as_type(self, arguments, location),
+            "type_eq" => type_eq(arguments, location),
+            "type_of" => type_of(arguments, location),
             "zeroed" => zeroed(return_type),
             _ => {
                 let item = format!("Comptime evaluation for builtin function {name}");
@@ -434,6 +436,22 @@ fn quoted_as_type(
     Ok(Value::Type(typ))
 }
 
+fn type_eq(mut arguments: Vec<(Value, Location)>, location: Location) -> IResult<Value> {
+    check_argument_count(2, &arguments, location)?;
+
+    let value1 = arguments.pop().unwrap().0;
+    let value2 = arguments.pop().unwrap().0;
+    Ok(Value::Bool(value1 == value2))
+}
+
+fn type_of(mut arguments: Vec<(Value, Location)>, location: Location) -> IResult<Value> {
+    check_argument_count(1, &arguments, location)?;
+
+    let value = arguments.pop().unwrap().0;
+    let typ = value.get_type().into_owned();
+    Ok(Value::Type(typ))
+}
+
 // fn constraint_hash(constraint: TraitConstraint) -> Field
 fn trait_constraint_hash(
     _interner: &mut NodeInterner,

noir_stdlib/src/meta/mod.nr

@@ -1,5 +1,6 @@
 mod trait_constraint;
 mod trait_def;
+mod typ;
 mod type_def;
 mod quoted;
 
@@ -9,3 +10,7 @@ mod quoted;
 pub comptime fn unquote(code: Quoted) -> Quoted {
     code
 }
+
+#[builtin(type_of)]
+pub comptime fn type_of<T>(x: T) -> Type {}
+

noir_stdlib/src/meta/typ.nr

@@ -0,0 +1,10 @@
+use crate::cmp::Eq;
+
+impl Eq for Type {
+    fn eq(self, other: Self) -> bool {
+        type_eq(self, other)
+    }
+}
+
+#[builtin(type_eq)]
+fn type_eq(_first: Type, _second: Type) -> bool {}

test_programs/compile_success_empty/comptime_type/Nargo.toml

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

test_programs/compile_success_empty/comptime_type/src/main.nr

@@ -0,0 +1,16 @@
+use std::meta::type_of;
+
+fn main() {
+    comptime
+    {
+        // Check type_of works correctly (relies on Eq for Type)
+        let a_field = 0;
+        let another_field = 1;
+        let an_i32: i32 = 0;
+        let field_type_1 = type_of(a_field);
+        let field_type_2 = type_of(another_field);
+        let i32_type = type_of(an_i32);
+        assert(field_type_1 == field_type_2);
+        assert(field_type_1 != i32_type);
+    }
+}