Coherence in Chalk - Implementing Trait-Solving in Rust

Coherence in Chalk - Implementing Trait-Solving in Rust

Explore the intricacies of Chalk, the new trait-solving implementation in the Rust Compiler, in this 39-minute conference talk from the Bay Area Rust Meetup. Delve into the concept of coherence in the Rust language, understand its current implementation in rustc, and discover how it has been reimagined in Chalk using logic programming. Gain valuable insights from Sunjay Varma's presentation, which offers a comprehensive overview of his work on this crucial aspect of Rust's compiler architecture.