📜 Assumptions on Binders Charter

The goal of this group is to both improve support for binders (for<'a>) in the Rust language by allowing the type system to reason about implied bounds involving variables bound by binders.

Roadmap

Our list of github issues tracks what we’re working towards and how to get there and is presented in graph form below. The hyperlinks don’t seem to work through mdbook but a working version can be found here: rust-lang/project-assumptions-on-binders/roadmap.svg