These are some office hours that pnkfelix ran as a follow-up to the "Contributing to Rust: Emit, Unpretty, Dump; Oh MIR" video,
https://www.youtube.com/watch?v=H97PG2P2AiY
I'm still learning what is the best process to use for capturing these office hours sessions, so please with some wonkiness in the audio/video sync.
You can see notes from the session here: https://hackmd.io/tUkIP-xUQo2kqpXP_gq0TA
00:00: 2022-12-28, Any questions?
16:25: `rr record` unpretty example
35:30: Where unpretty is processed
40:36: Archaeology: why was unpretty=hir,typed aborting on error?
53:19: `rr replay` with gdb TUI mode
1:03:18: Archaelogy: why was unpretty=thir-tree aborting on error?
1:10:10: What does print_with_analysis do
1:13:42: Identifying the fix
1:16:26: Trying out the fixed `rustc`: We get thir-tree output!
1:17:16: A *long* exercise: manually translating thir-tree into pseudo-source
1:43:25: 2023-01-04, Any questions?
2:00:00: Yet another pernos.co demo
2:03:57: pernos.co built-in printing facilities (aka how to add println's to an existing trace)
2:12:40: Understanding the internal representation of compiler IR's
2:22:11: Potential future work in explaining/printing THIR
2:27:10: THIR blocks: expression/destruction scopes
2:29:30: THIR blocks: statements + tail expression; indices vs pointers
2:36:20: More common identifiers, e.g. DefId's
2:45:45: Exploring Rust's representation of types
2:50:32: What about rust-analyzer's representation of types?
3:02:27: Plans for next "Contributing to Rust" video?