👋

Currently I am working on the Rust Programming Language as a member of the types team and const generics project group.

Historically I've mostly worked on const generics but currently that work is blocked on stabilizing the new solver.

I am currently working on the new trait solver as having this ready is effectively required to fix many type system bugs and stabilize new type system functionality. I also am going to be spending time filling out the rustc dev guide so that it is easier to onboard new contributors and spread information between existing contributors.