<p>
Nadrieril is a long-time Rust contributor, and the maintainer of the rustc
pattern-matching infrastructure. During his involvement with Rust, he has
noticed a problem with the usability of the language: it is difficult to
automatically extract information from a Rust crate for use with other tooling.
<a href="https://github.com/AeneasVerif/charon#charon">
The Charon project</a> aims to fix that by providing a stable API for accessing
internal information from the Rust compiler.
</p>