boxyuwu

Current Sponsors: 30
Past Sponsors: 0
Total Sponsors: 30
Minimum Sponsorship: $1.00

@rust-lang type system team member and const generics group lead. Also working on documenting the type system.

Funding Links: https://github.com/sponsors/BoxyUwU

Name: Boxy
Location: UK
Kind: user
Followers: 305
Following: 45
Total stars: 43
Repositories count: 37
Created at: 2022-11-16T03:54:04.633Z
Updated at: 2025-03-30T18:47:23.980Z
Last synced at: 2025-03-30T18:47:23.979Z

GitHub Sponsors Profile

👋
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<{ ::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).