Rustc-Chalk Integration Overview: Plans and Implementation

Explore the integration plans for rustc-chalk and gain insights into its code implementation in this comprehensive hour-long talk. Delve into key concepts such as the chalk engine, answer tables, search strategies, and unknown types. Learn about size bounds, strands, initial filtering, and the inference context. Understand the role of the iterator aggregator and get an overview of the chalk engine's big picture. Examine sub fulfillment contexts, side effects, buzz scope, and canonicalization. Investigate the trait engine, goal evaluation, environments, and traits code lowering. Discover the forest caching system, lazy normalization, and trait overview. Explore hook programs, program clauses, strand generation, and the lowering steps involved in the chalk engine's answer process.

Intro
chalk engine
answer table
question marks
search strategy
unknown type
size bounds
strands
talk for answers
initial filtering
inference context
iterator aggregator
role of aggregator
chalk engine overview
the big picture
sub fulfillment context
side effects
buzz scope
canonicalize
aggregator
terminal
trait engine
canonicalization
no solution
evaluate goal
environment
goal
traits
traits code
lowering
forest
caching
lazy normalization
trait overview
hook program
program clauses
strand generation
lazier
a bit confused
shift goals
lowering steps
chalk engine answer