TraitImpl

std::meta::trait_impl contains methods on the built-in TraitImpl type which represents a trait implementation such as impl Foo for Bar { ... }.

Methods

trait_generic_args

trait_generic_args

pub comptime fn trait_generic_args(self) -> [Type] {}

^{_{Source code: noir_stdlib/src/meta/trait_impl.nr#L3-L5}}

Returns any generic arguments on the trait of this trait implementation, if any.

impl Foo<i32, Field> for Bar { ... }

comptime {
    let bar_type = quote { Bar }.as_type();
    let foo = quote { Foo<i32, Field> }.as_trait_constraint();

    let my_impl: TraitImpl = bar_type.get_trait_impl(foo).unwrap();

    let generics = my_impl.trait_generic_args();
    assert_eq(generics.len(), 2);

    assert_eq(generics[0].0, quote { i32 }.as_type());
    assert(generics[0].1.is_none());
    assert_eq(generics[1].0, quote { Field }.as_type());
    assert(generics[1].1.is_none());
}

methods

methods

pub comptime fn methods(self) -> [FunctionDefinition] {}

^{_{Source code: noir_stdlib/src/meta/trait_impl.nr#L8-L10}}

Returns each method in this trait impl.

Example:

comptime {
    let i32_type = quote { i32 }.as_type();
    let eq = quote { Eq }.as_trait_constraint();

    let impl_eq_for_i32: TraitImpl = i32_type.get_trait_impl(eq).unwrap();
    let methods = impl_eq_for_i32.methods();

    assert_eq(methods.len(), 1);
    assert_eq(methods[0].name(), quote { eq });
}