So much to talk about here! Off the top of my head: - Dataflow - MovePathIndex and that whole setup - The MIR typeck - Liveness - Regions and SCC - The outlives constraint