Contributing to Rustc, Episode 4(b): Finishing our (unsound, naive) MIR transform
Channel: Felix K
Date: 2023-02-09

This is the second part of a two-part episode. In this part, we fix some problems in our code and see the transformation running successfully on our simple example input.

You can see the original coding that preceded this at  https://youtu.be/2If0BOfCy2Q 

0:00 - review of the demo transformation, up to the ICE
1:53 - layout code is panicking; adding debug instrumentation
5:54 - tuple types, the unit type
8:24 - how to find context where transformation is applied
19:27 - making our transformation more conservative
23:30 - iterating over MIR statements  directly
29:39 - the kinds of MIR statements
36:50 - failure modes for the analysis
39:59 - the kinds of MIR r-values and operands
49:14 - the final logic for the improved (but still unsound) analysis
53:11 - no more ICE! great success!