👋

I am working on the Rust Programming Language as a member of the type system team and as a lead of the const generics group.

In the short term I would like to stabilize adt_const_params allowing for arbitrary types to be used as const generic parameters. I would also like to unblock usage of generic parameters in const generic arguments (e.g. permitting Foo<{ <T as Trait>::ASSOC_CONST }>).

I am also spending my time writing documentation for our type system and mentoring new contributors as I care a lot about making the compiler more accessible for people.

In this past I have contributed significantly to the next generation trait solver but am currently refocusing my efforts on const generics (although I am still somewhat involved in discussions about it).