Skip to content

Instantly share code, notes, and snippets.

@nikomatsakis

nikomatsakis/rustc.main.-------.nll.0.mir

Created January 24, 2018 14:53
Show Gist options
  • Save nikomatsakis/5ce92fac953c33fc5eee54a2c1554c6c to your computer and use it in GitHub Desktop.
Save nikomatsakis/5ce92fac953c33fc5eee54a2c1554c6c to your computer and use it in GitHub Desktop.
Download ZIP
Raw
rustc.main.-------.nll.0.mir
// MIR for `main`
// source = MirSource { def_id: DefId(0/0:15 ~ issue_47267[317d]::main[0]), promoted: None }
// pass_name = nll
// disambiguator = 0
| Free Region Mapping
| '_#0r | Global | ['_#0r, '_#1r]
| '_#1r | Local | ['_#1r]
|
| Inferred Region Values
| '_#0r | {'_#0r, bb0[0..=3], bb1[0], bb2[0..=6], bb3[0], bb4[0..=15], bb5[0..=22], bb6[0..=8], bb7[0], bb8[0..=9], bb9[0..=8], bb10[0..=19], bb11[0..=9]}
| '_#1r | {'_#1r, bb0[0..=3], bb1[0], bb2[0..=6], bb3[0], bb4[0..=15], bb5[0..=22], bb6[0..=8], bb7[0], bb8[0..=9], bb9[0..=8], bb10[0..=19], bb11[0..=9]}
| '_#2r | {bb2[0..=6], bb4[0..=15], bb5[0..=22], bb8[0..=9]}
| '_#3r | {bb2[2..=6], bb4[0..=15], bb5[0..=22], bb8[0..=9], bb9[0..=8]}
| '_#4r | {bb4[1..=15], bb5[0..=22], bb8[0..=9]}
| '_#5r | {bb4[3..=15], bb5[0..=22], bb8[0..=9], bb9[0..=8]}
| '_#6r | {bb5[6..=22], bb8[0..=9], bb9[0..=8], bb10[0..=19], bb11[0..=9]}
| '_#7r | {bb5[6..=22], bb8[0..=9], bb9[0..=8], bb10[0..=19], bb11[0..=9]}
| '_#8r | {bb5[7..=22], bb8[0..=9], bb9[0..=8], bb10[0..=19], bb11[0..=9]}
| '_#9r | {bb5[8..=22], bb8[0..=9], bb9[0..=8], bb10[0..=19], bb11[0..=9]}
| '_#10r | {bb5[8..=22], bb8[0..=9], bb9[0..=8], bb10[0..=19], bb11[0..=9]}
| '_#11r | {bb5[16..=22], bb8[0..=9], bb9[0..=8], bb10[0..=19], bb11[0..=9]}
| '_#12r | {bb5[18..=22], bb8[0..=9], bb9[0..=8], bb10[0..=19], bb11[0..=9]}
| '_#13r | {bb8[1..=9], bb9[0..=8], bb10[0..=19], bb11[0..=9]}
| '_#14r | {bb8[1..=9]}
| '_#15r | {bb8[3..=9], bb9[0..=8], bb10[0..=19], bb11[0..=9]}
| '_#16r | {bb8[3..=9], bb9[0..=8]}
| '_#17r | {bb8[6..=9], bb9[0..=8], bb10[0..=19], bb11[0..=9]}
| '_#18r | {bb8[8]}
| '_#19r | {bb8[8]}
| '_#20r | {}
| '_#21r | {bb8[8]}
| '_#22r | {bb8[9]}
| '_#23r | {bb8[9]}
| '_#24r | {bb8[9]}
| '_#25r | {bb8[9]}
| '_#26r | {}
| '_#27r | {}
| '_#28r | {bb9[5..=8], bb10[0..=19], bb11[0..=9]}
| '_#29r | {bb9[7]}
| '_#30r | {bb9[7]}
| '_#31r | {}
| '_#32r | {bb9[7]}
| '_#33r | {bb9[8]}
| '_#34r | {bb9[8]}
| '_#35r | {bb9[8]}
| '_#36r | {bb9[8]}
| '_#37r | {}
| '_#38r | {}
| '_#39r | {bb10[3..=19], bb11[0..=9]}
| '_#40r | {bb10[8..=19], bb11[0..=9]}
| '_#41r | {bb10[9..=19], bb11[0..=9]}
| '_#42r | {bb10[10..=19], bb11[0..=9]}
| '_#43r | {bb10[10..=19], bb11[0..=9]}
| '_#44r | {bb10[15..=19], bb11[0..=9]}
| '_#45r | {bb10[16..=19], bb11[0..=9]}
| '_#46r | {bb10[17..=19], bb11[0..=9]}
| '_#47r | {bb10[19], bb11[0..=9]}
| '_#48r | {bb10[19], bb11[0..=9]}
| '_#49r | {}
| '_#50r | {bb11[3..=9]}
| '_#51r | {bb11[4..=9]}
| '_#52r | {bb11[7..=9]}
| '_#53r | {'_#0r, bb1[0], bb11[7..=9]}
| '_#54r | {bb11[8..=9]}
| '_#55r | {bb2[4..=6], bb4[0..=15], bb5[0..=22], bb8[0..=9]}
| '_#56r | {bb2[4..=6], bb4[0..=15], bb5[0..=22], bb8[0..=9], bb9[0..=8]}
| '_#57r | {bb2[1..=6], bb4[0..=15], bb5[0..=22], bb8[0..=9]}
| '_#58r | {bb2[3..=6], bb4[0..=15], bb5[0..=22], bb8[0..=9], bb9[0..=8]}
| '_#59r | {bb4[2..=15], bb5[0..=22], bb8[0..=9]}
| '_#60r | {bb4[4..=15], bb5[0..=22], bb8[0..=9], bb9[0..=8]}
| '_#61r | {bb11[5..=9]}
| '_#62r | {bb11[5..=9]}
| '_#63r | {bb11[4..=9]}
| '_#64r | {bb11[4..=9]}
| '_#65r | {bb11[0..=9]}
| '_#66r | {bb5[9..=22], bb8[0..=9], bb9[0..=8], bb10[0..=19], bb11[0..=9]}
| '_#67r | {bb5[9..=22], bb8[0..=9], bb9[0..=8], bb10[0..=19], bb11[0..=9]}
| '_#68r | {bb5[8..=22], bb8[0..=9], bb9[0..=8], bb10[0..=19], bb11[0..=9]}
| '_#69r | {bb5[8..=22], bb8[0..=9], bb9[0..=8], bb10[0..=19], bb11[0..=9]}
| '_#70r | {bb5[7..=22], bb8[0..=9], bb9[0..=8], bb10[0..=19], bb11[0..=9]}
| '_#71r | {bb5[7..=22], bb8[0..=9], bb9[0..=8], bb10[0..=19], bb11[0..=9]}
| '_#72r | {}
| '_#73r | {}
| '_#74r | {}
| '_#75r | {}
| '_#76r | {}
| '_#77r | {}
| '_#78r | {}
| '_#79r | {bb10[11..=19], bb11[0..=9]}
| '_#80r | {bb10[11..=19], bb11[0..=9]}
| '_#81r | {bb10[10..=19], bb11[0..=9]}
| '_#82r | {bb10[10..=19], bb11[0..=9]}
| '_#83r | {bb10[9..=19], bb11[0..=9]}
| '_#84r | {bb10[9..=19], bb11[0..=9]}
| '_#85r | {bb10[4..=19], bb11[0..=9]}
| '_#86r | {bb5[20..=22], bb8[0..=9], bb9[0..=8], bb10[0..=19], bb11[0..=9]}
| '_#87r | {bb5[20..=22], bb8[0..=9]}
| '_#88r | {bb5[20..=22], bb8[0..=9], bb9[0..=8], bb10[0..=19], bb11[0..=9]}
| '_#89r | {bb5[20..=22], bb8[0..=9], bb9[0..=8]}
| '_#90r | {bb5[17..=22], bb8[0..=9], bb9[0..=8], bb10[0..=19], bb11[0..=9]}
| '_#91r | {bb5[17..=22], bb8[0..=9]}
| '_#92r | {bb5[19..=22], bb8[0..=9], bb9[0..=8], bb10[0..=19], bb11[0..=9]}
| '_#93r | {bb5[19..=22], bb8[0..=9], bb9[0..=8]}
| '_#94r | {bb8[2..=9], bb9[0..=8], bb10[0..=19], bb11[0..=9]}
| '_#95r | {bb8[2..=9]}
| '_#96r | {bb8[4..=9], bb9[0..=8], bb10[0..=19], bb11[0..=9]}
| '_#97r | {bb8[4..=9], bb9[0..=8]}
| '_#98r | {bb9[0..=8], bb10[0..=19], bb11[0..=9]}
| '_#99r | {bb8[7..=9], bb9[0..=8], bb10[0..=19], bb11[0..=9]}
| '_#100r | {bb8[7..=9]}
| '_#101r | {bb8[9]}
| '_#102r | {bb10[0..=19], bb11[0..=9]}
| '_#103r | {bb9[6..=8], bb10[0..=19], bb11[0..=9]}
| '_#104r | {bb9[6..=8]}
| '_#105r | {bb9[8]}
| '_#106r | {bb10[18..=19], bb11[0..=9]}
| '_#107r | {bb10[17..=19], bb11[0..=9]}
| '_#108r | {bb10[16..=19], bb11[0..=9]}
| '_#109r | {bb11[9]}
| '_#110r | {'_#0r, bb1[0], bb11[9]}
| '_#111r | {bb11[8..=9]}
| '_#112r | {'_#0r, bb1[0], bb11[8..=9]}
| '_#113r | {}
| '_#114r | {bb8[8]}
| '_#115r | {bb9[7]}
| '_#116r | {bb5[8..=22], bb8[0..=9], bb9[0..=8], bb10[0..=19], bb11[0..=9]}
| '_#117r | {bb5[8..=22], bb8[0..=9], bb9[0..=8], bb10[0..=19], bb11[0..=9]}
| '_#118r | {}
| '_#119r | {}
| '_#120r | {}
| '_#121r | {}
| '_#122r | {}
| '_#123r | {}
| '_#124r | {}
| '_#125r | {}
| '_#126r | {}
| '_#127r | {bb8[9], bb9[0..=8], bb10[0..=19], bb11[0..=9]}
| '_#128r | {}
| '_#129r | {}
| '_#130r | {}
| '_#131r | {}
| '_#132r | {}
| '_#133r | {}
| '_#134r | {}
| '_#135r | {}
| '_#136r | {}
| '_#137r | {}
| '_#138r | {}
| '_#139r | {}
| '_#140r | {bb9[8], bb10[0..=19], bb11[0..=9]}
| '_#141r | {}
| '_#142r | {}
| '_#143r | {}
| '_#144r | {bb10[10..=19], bb11[0..=9]}
| '_#145r | {bb10[10..=19], bb11[0..=9]}
| '_#146r | {bb10[17..=19], bb11[0..=9]}
| '_#147r | {bb10[17..=19], bb11[0..=9]}
| '_#148r | {bb11[9]}
| '_#149r | {bb11[9]}
| '_#150r | {bb11[9]}
|
| Inference Constraints
| '_#0r live at {'_#0r, bb0[0..=3], bb1[0], bb2[0..=6], bb3[0], bb4[0..=15], bb5[0..=22], bb6[0..=8], bb7[0], bb8[0..=9], bb9[0..=8], bb10[0..=19], bb11[0..=9]}
| '_#1r live at {'_#1r, bb0[0..=3], bb1[0], bb2[0..=6], bb3[0], bb4[0..=15], bb5[0..=22], bb6[0..=8], bb7[0], bb8[0..=9], bb9[0..=8], bb10[0..=19], bb11[0..=9]}
| '_#2r live at {bb2[0]}
| '_#3r live at {bb2[2]}
| '_#4r live at {bb4[1]}
| '_#5r live at {bb4[3]}
| '_#6r live at {bb5[6]}
| '_#7r live at {bb5[6]}
| '_#8r live at {bb5[7]}
| '_#9r live at {bb5[8]}
| '_#10r live at {bb5[8]}
| '_#11r live at {bb5[16]}
| '_#12r live at {bb5[18]}
| '_#13r live at {bb8[1]}
| '_#14r live at {bb8[1]}
| '_#15r live at {bb8[3]}
| '_#16r live at {bb8[3]}
| '_#17r live at {bb8[6]}
| '_#18r live at {bb8[8]}
| '_#21r live at {bb8[8]}
| '_#22r live at {bb8[9]}
| '_#23r live at {bb8[9]}
| '_#28r live at {bb9[5]}
| '_#29r live at {bb9[7]}
| '_#32r live at {bb9[7]}
| '_#33r live at {bb9[8]}
| '_#34r live at {bb9[8]}
| '_#39r live at {bb10[3]}
| '_#40r live at {bb10[8]}
| '_#41r live at {bb10[9]}
| '_#42r live at {bb10[10]}
| '_#43r live at {bb10[10]}
| '_#44r live at {bb10[15]}
| '_#45r live at {bb10[16]}
| '_#46r live at {bb10[17]}
| '_#47r live at {bb10[19]}
| '_#50r live at {bb11[3]}
| '_#51r live at {bb11[4]}
| '_#52r live at {bb11[7]}
| '_#53r live at {bb11[7]}
| '_#54r live at {bb11[8]}
| '_#55r live at {bb2[4..=6], bb4[0..=3]}
| '_#56r live at {bb2[4..=6], bb4[0..=3]}
| '_#57r live at {bb2[1..=3]}
| '_#58r live at {bb2[3]}
| '_#59r live at {bb4[2..=15], bb5[0..=16]}
| '_#60r live at {bb4[4..=15], bb5[0..=18]}
| '_#61r live at {bb11[5..=9]}
| '_#62r live at {bb11[5..=9]}
| '_#63r live at {bb11[4]}
| '_#64r live at {bb11[4]}
| '_#65r live at {bb11[0..=3]}
| '_#66r live at {bb5[9..=22], bb8[0..=9], bb9[0..=8], bb10[0..=19]}
| '_#67r live at {bb5[9..=22], bb8[0..=9], bb9[0..=8], bb10[0..=19]}
| '_#68r live at {bb5[8]}
| '_#69r live at {bb5[8]}
| '_#70r live at {bb5[7]}
| '_#71r live at {bb5[7]}
| '_#79r live at {bb10[11..=19]}
| '_#80r live at {bb10[11..=19]}
| '_#81r live at {bb10[10]}
| '_#82r live at {bb10[10]}
| '_#83r live at {bb10[9]}
| '_#84r live at {bb10[9]}
| '_#85r live at {bb10[4..=8]}
| '_#86r live at {bb5[20..=22], bb8[0..=3]}
| '_#87r live at {bb5[20..=22], bb8[0..=3]}
| '_#88r live at {bb5[20..=22], bb8[0..=3]}
| '_#89r live at {bb5[20..=22], bb8[0..=3]}
| '_#90r live at {bb5[17..=19]}
| '_#91r live at {bb5[17..=19]}
| '_#92r live at {bb5[19]}
| '_#93r live at {bb5[19]}
| '_#94r live at {bb8[2..=6]}
| '_#95r live at {bb8[2..=6]}
| '_#96r live at {bb8[4..=9], bb9[0..=5]}
| '_#97r live at {bb8[4..=9], bb9[0..=5]}
| '_#98r live at {bb9[0..=8], bb10[0..=3]}
| '_#99r live at {bb8[7..=9]}
| '_#100r live at {bb8[7..=9]}
| '_#101r live at {bb8[9]}
| '_#102r live at {bb10[0..=3]}
| '_#103r live at {bb9[6..=8]}
| '_#104r live at {bb9[6..=8]}
| '_#105r live at {bb9[8]}
| '_#106r live at {bb10[18..=19]}
| '_#107r live at {bb10[17]}
| '_#108r live at {bb10[16]}
| '_#109r live at {bb11[9]}
| '_#110r live at {bb11[9]}
| '_#111r live at {bb11[8]}
| '_#112r live at {bb11[8]}
| '_#127r live at {bb8[9]}
| '_#140r live at {bb9[8]}
| '_#148r live at {bb11[9]}
| '_#149r live at {bb11[9]}
| '_#150r live at {bb11[9]}
| '_#2r: '_#57r @ bb2[1] due to <assert_eq macros>:3:9: 3:17
| '_#3r: '_#58r @ bb2[3] due to <assert_eq macros>:3:20: 3:29
| '_#4r: '_#55r @ bb4[1] due to <assert_eq macros>:4:3: 4:11
| '_#4r: '_#59r @ bb4[2] due to <assert_eq macros>:4:3: 4:11
| '_#5r: '_#56r @ bb4[3] due to <assert_eq macros>:4:14: 4:23
| '_#5r: '_#60r @ bb4[4] due to <assert_eq macros>:4:14: 4:23
| '_#6r: '_#70r @ bb5[7] due to <assert_eq macros>:7:1: 9:17
| '_#7r: '_#71r @ bb5[7] due to <assert_eq macros>:7:1: 9:17
| '_#8r: '_#68r @ bb5[8] due to <assert_eq macros>:7:1: 9:17
| '_#9r: '_#66r @ bb5[9] due to <assert_eq macros>:7:1: 9:17
| '_#9r: '_#116r @ bb5[8] due to <assert_eq macros>:7:1: 9:17
| '_#10r: '_#67r @ bb5[9] due to <assert_eq macros>:7:1: 9:17
| '_#10r: '_#69r @ bb5[8] due to <assert_eq macros>:7:1: 9:17
| '_#11r: '_#90r @ bb5[17] due to <assert_eq macros>:10:1: 10:9
| '_#12r: '_#92r @ bb5[19] due to <assert_eq macros>:10:12: 10:21
| '_#13r: '_#86r @ bb8[1] due to /home/nmatsakis/tmp/issue-47267.rs:1:1: 1:1
| '_#13r: '_#94r @ bb8[2] due to /home/nmatsakis/tmp/issue-47267.rs:1:1: 1:1
| '_#14r: '_#87r @ bb8[1] due to /home/nmatsakis/tmp/issue-47267.rs:1:1: 1:1
| '_#14r: '_#95r @ bb8[2] due to /home/nmatsakis/tmp/issue-47267.rs:1:1: 1:1
| '_#15r: '_#88r @ bb8[3] due to /home/nmatsakis/tmp/issue-47267.rs:1:1: 1:1
| '_#15r: '_#96r @ bb8[4] due to /home/nmatsakis/tmp/issue-47267.rs:1:1: 1:1
| '_#16r: '_#89r @ bb8[3] due to /home/nmatsakis/tmp/issue-47267.rs:1:1: 1:1
| '_#16r: '_#97r @ bb8[4] due to /home/nmatsakis/tmp/issue-47267.rs:1:1: 1:1
| '_#17r: '_#99r @ bb8[7] due to <assert_eq macros>:10:1: 10:9
| '_#18r: '_#19r @ bb8[8] due to <assert_eq macros>:10:1: 10:9
| '_#18r: '_#21r @ bb8[8] due to <assert_eq macros>:10:1: 10:9
| '_#19r: '_#18r @ bb8[8] due to <assert_eq macros>:10:1: 10:9
| '_#19r: '_#114r @ bb8[8] due to <assert_eq macros>:10:1: 10:9
| '_#21r: '_#18r @ bb8[8] due to <assert_eq macros>:10:1: 10:9
| '_#22r: '_#24r @ bb8[9] due to <panic macros>:8:3: 8:42
| '_#23r: '_#25r @ bb8[9] due to <panic macros>:8:3: 8:42
| '_#23r: '_#101r @ bb8[9] due to <panic macros>:8:3: 8:42
| '_#24r: '_#22r @ bb8[9] due to <panic macros>:8:3: 8:42
| '_#25r: '_#23r @ bb8[9] due to <panic macros>:8:3: 8:42
| '_#28r: '_#103r @ bb9[6] due to <assert_eq macros>:10:12: 10:21
| '_#29r: '_#30r @ bb9[7] due to <assert_eq macros>:10:12: 10:21
| '_#29r: '_#32r @ bb9[7] due to <assert_eq macros>:10:12: 10:21
| '_#30r: '_#29r @ bb9[7] due to <assert_eq macros>:10:12: 10:21
| '_#30r: '_#115r @ bb9[7] due to <assert_eq macros>:10:12: 10:21
| '_#32r: '_#29r @ bb9[7] due to <assert_eq macros>:10:12: 10:21
| '_#33r: '_#35r @ bb9[8] due to <panic macros>:8:3: 8:42
| '_#34r: '_#36r @ bb9[8] due to <panic macros>:8:3: 8:42
| '_#34r: '_#105r @ bb9[8] due to <panic macros>:8:3: 8:42
| '_#35r: '_#33r @ bb9[8] due to <panic macros>:8:3: 8:42
| '_#36r: '_#34r @ bb9[8] due to <panic macros>:8:3: 8:42
| '_#39r: '_#85r @ bb10[4] due to <assert_eq macros>:7:1: 9:17
| '_#40r: '_#83r @ bb10[9] due to <assert_eq macros>:7:1: 9:17
| '_#41r: '_#81r @ bb10[10] due to <assert_eq macros>:7:1: 9:17
| '_#42r: '_#79r @ bb10[11] due to <assert_eq macros>:7:1: 9:17
| '_#42r: '_#144r @ bb10[10] due to <assert_eq macros>:7:1: 9:17
| '_#43r: '_#80r @ bb10[11] due to <assert_eq macros>:7:1: 9:17
| '_#43r: '_#82r @ bb10[10] due to <assert_eq macros>:7:1: 9:17
| '_#44r: '_#108r @ bb10[16] due to <panic macros>:8:3: 8:42
| '_#45r: '_#107r @ bb10[17] due to <panic macros>:8:3: 8:42
| '_#46r: '_#106r @ bb10[18] due to <panic macros>:8:3: 8:42
| '_#46r: '_#146r @ bb10[17] due to <panic macros>:8:3: 8:42
| '_#47r: '_#48r @ bb10[19] due to <panic macros>:8:3: 8:42
| '_#47r: '_#65r @ bb11[0] due to <panic macros>:8:3: 8:42
| '_#48r: '_#47r @ bb10[19] due to <panic macros>:8:3: 8:42
| '_#50r: '_#63r @ bb11[4] due to <panic macros>:8:1: 8:42
| '_#51r: '_#61r @ bb11[5] due to <panic macros>:8:1: 8:42
| '_#52r: '_#111r @ bb11[8] due to <panic macros>:8:45: 9:60
| '_#53r: '_#112r @ bb11[8] due to <panic macros>:8:45: 9:60
| '_#54r: '_#109r @ bb11[9] due to <panic macros>:8:45: 9:60
| '_#55r: '_#4r @ bb4[1] due to <assert_eq macros>:4:3: 4:11
| '_#56r: '_#5r @ bb4[3] due to <assert_eq macros>:4:14: 4:23
| '_#57r: '_#55r @ bb2[4] due to <assert_eq macros>:3:7: 3:31
| '_#58r: '_#56r @ bb2[4] due to <assert_eq macros>:3:7: 3:31
| '_#59r: '_#91r @ bb5[17] due to <assert_eq macros>:10:1: 10:9
| '_#60r: '_#93r @ bb5[19] due to <assert_eq macros>:10:12: 10:21
| '_#61r: '_#148r @ bb11[9] due to <panic macros>:7:1: 9:62
| '_#62r: '_#149r @ bb11[9] due to <panic macros>:7:1: 9:62
| '_#63r: '_#51r @ bb11[5] due to <panic macros>:8:1: 8:42
| '_#64r: '_#62r @ bb11[5] due to <panic macros>:8:1: 8:42
| '_#65r: '_#64r @ bb11[4] due to <panic macros>:8:1: 8:42
| '_#66r: '_#47r @ bb10[19] due to <panic macros>:8:3: 8:42
| '_#67r: '_#47r @ bb10[19] due to <panic macros>:8:3: 8:42
| '_#68r: '_#117r @ bb5[8] due to <assert_eq macros>:7:1: 9:17
| '_#69r: '_#10r @ bb5[8] due to <assert_eq macros>:7:1: 9:17
| '_#70r: '_#8r @ bb5[8] due to <assert_eq macros>:7:1: 9:17
| '_#71r: '_#69r @ bb5[8] due to <assert_eq macros>:7:1: 9:17
| '_#79r: '_#47r @ bb10[19] due to <panic macros>:8:3: 8:42
| '_#80r: '_#47r @ bb10[19] due to <panic macros>:8:3: 8:42
| '_#81r: '_#145r @ bb10[10] due to <assert_eq macros>:7:1: 9:17
| '_#82r: '_#43r @ bb10[10] due to <assert_eq macros>:7:1: 9:17
| '_#83r: '_#41r @ bb10[10] due to <assert_eq macros>:7:1: 9:17
| '_#84r: '_#82r @ bb10[10] due to <assert_eq macros>:7:1: 9:17
| '_#85r: '_#84r @ bb10[9] due to <assert_eq macros>:7:1: 9:17
| '_#86r: '_#13r @ bb8[1] due to /home/nmatsakis/tmp/issue-47267.rs:1:1: 1:1
| '_#87r: '_#14r @ bb8[1] due to /home/nmatsakis/tmp/issue-47267.rs:1:1: 1:1
| '_#88r: '_#15r @ bb8[3] due to /home/nmatsakis/tmp/issue-47267.rs:1:1: 1:1
| '_#89r: '_#16r @ bb8[3] due to /home/nmatsakis/tmp/issue-47267.rs:1:1: 1:1
| '_#90r: '_#86r @ bb5[20] due to <assert_eq macros>:7:1: 9:17
| '_#91r: '_#87r @ bb5[20] due to <assert_eq macros>:7:1: 9:17
| '_#92r: '_#88r @ bb5[20] due to <assert_eq macros>:7:1: 9:17
| '_#93r: '_#89r @ bb5[20] due to <assert_eq macros>:7:1: 9:17
| '_#94r: '_#17r @ bb8[7] due to <assert_eq macros>:10:1: 10:9
| '_#95r: '_#100r @ bb8[7] due to <assert_eq macros>:10:1: 10:9
| '_#96r: '_#28r @ bb9[6] due to <assert_eq macros>:10:12: 10:21
| '_#97r: '_#104r @ bb9[6] due to <assert_eq macros>:10:12: 10:21
| '_#98r: '_#39r @ bb10[4] due to <assert_eq macros>:7:1: 9:17
| '_#99r: '_#127r @ bb8[9] due to <panic macros>:8:3: 8:42
| '_#100r: '_#23r @ bb8[9] due to <panic macros>:8:3: 8:42
| '_#101r: '_#21r @ bb8[9] due to <assert_eq macros>:10:1: 10:9
| '_#102r: '_#39r @ bb10[4] due to <assert_eq macros>:7:1: 9:17
| '_#103r: '_#140r @ bb9[8] due to <panic macros>:8:3: 8:42
| '_#104r: '_#34r @ bb9[8] due to <panic macros>:8:3: 8:42
| '_#105r: '_#32r @ bb9[8] due to <assert_eq macros>:10:12: 10:21
| '_#106r: '_#47r @ bb10[19] due to <panic macros>:8:3: 8:42
| '_#107r: '_#147r @ bb10[17] due to <panic macros>:8:3: 8:42
| '_#108r: '_#45r @ bb10[17] due to <panic macros>:8:3: 8:42
| '_#109r: '_#150r @ bb11[9] due to <panic macros>:7:1: 9:62
| '_#110r: '_#0r @ bb11[9] due to <panic macros>:7:1: 9:62
| '_#111r: '_#54r @ bb11[9] due to <panic macros>:8:45: 9:60
| '_#112r: '_#110r @ bb11[9] due to <panic macros>:8:45: 9:60
| '_#114r: '_#19r @ bb8[8] due to <assert_eq macros>:10:1: 10:9
| '_#115r: '_#30r @ bb9[7] due to <assert_eq macros>:10:12: 10:21
| '_#116r: '_#9r @ bb5[8] due to <assert_eq macros>:7:1: 9:17
| '_#117r: '_#68r @ bb5[8] due to <assert_eq macros>:7:1: 9:17
| '_#117r: '_#116r @ bb5[8] due to <assert_eq macros>:7:1: 9:17
| '_#127r: '_#98r @ bb9[0] due to <panic macros>:8:3: 8:42
| '_#140r: '_#102r @ bb10[0] due to <panic macros>:8:3: 8:42
| '_#144r: '_#42r @ bb10[10] due to <assert_eq macros>:7:1: 9:17
| '_#145r: '_#81r @ bb10[10] due to <assert_eq macros>:7:1: 9:17
| '_#145r: '_#144r @ bb10[10] due to <assert_eq macros>:7:1: 9:17
| '_#146r: '_#46r @ bb10[17] due to <panic macros>:8:3: 8:42
| '_#147r: '_#107r @ bb10[17] due to <panic macros>:8:3: 8:42
| '_#147r: '_#146r @ bb10[17] due to <panic macros>:8:3: 8:42
fn main() -> (){
let mut _0: (); // return place
scope 1 {
let _7: &u32; // "left_val" in scope 1 at <assert_eq macros>:4:3: 4:11
let _8: &u32; // "right_val" in scope 1 at <assert_eq macros>:4:14: 4:23
scope 2 {
let _34: &&u32; // "__arg0" in scope 2 at /home/nmatsakis/tmp/issue-47267.rs:1:1: 1:1
let _35: &&u32; // "__arg1" in scope 2 at /home/nmatsakis/tmp/issue-47267.rs:1:1: 1:1
}
}
let mut _1: ();
let mut _2: (&u32, &u32);
let mut _3: &u32;
let mut _4: u32;
let mut _5: &u32;
let mut _6: u32;
let mut _9: bool;
let mut _10: bool;
let mut _11: u32;
let mut _12: u32;
let mut _13: !;
let mut _14: &std::fmt::Arguments<'_>;
let mut _15: &std::fmt::Arguments<'_>;
let mut _16: std::fmt::Arguments<'_>;
let mut _17: &[&str];
let mut _18: &[&str; 3];
let mut _19: &[&str; 3];
let mut _20: [&str; 3];
let mut _21: &str;
let mut _22: &str;
let mut _23: &str;
let mut _24: &str;
let mut _25: &str;
let mut _26: &str;
let mut _27: &[std::fmt::ArgumentV1<'_>];
let mut _28: &[std::fmt::ArgumentV1<'_>; 2];
let mut _29: &[std::fmt::ArgumentV1<'_>; 2];
let mut _30: [std::fmt::ArgumentV1<'_>; 2];
let mut _31: (&&u32, &&u32);
let mut _32: &&u32;
let mut _33: &&u32;
let mut _36: std::fmt::ArgumentV1<'_>;
let mut _37: &&u32;
let mut _38: for<'r, 's, 't0> fn(&'r &u32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>;
let mut _39: std::fmt::ArgumentV1<'_>;
let mut _40: &&u32;
let mut _41: for<'r, 's, 't0> fn(&'r &u32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>;
let mut _42: &[std::fmt::rt::v1::Argument];
let mut _43: &[std::fmt::rt::v1::Argument; 2];
let mut _44: &[std::fmt::rt::v1::Argument; 2];
let mut _45: [std::fmt::rt::v1::Argument; 2];
let mut _46: std::fmt::rt::v1::Argument;
let mut _47: std::fmt::rt::v1::Position;
let mut _48: std::fmt::rt::v1::FormatSpec;
let mut _49: std::fmt::rt::v1::Alignment;
let mut _50: std::fmt::rt::v1::Count;
let mut _51: std::fmt::rt::v1::Count;
let mut _52: std::fmt::rt::v1::Argument;
let mut _53: std::fmt::rt::v1::Position;
let mut _54: std::fmt::rt::v1::FormatSpec;
let mut _55: std::fmt::rt::v1::Alignment;
let mut _56: std::fmt::rt::v1::Count;
let mut _57: std::fmt::rt::v1::Count;
let mut _58: &(&str, u32, u32);
let mut _59: &(&str, u32, u32);
let mut _60: (&str, u32, u32);
| Live variables on entry to bb0: []
bb0: {
| Live variables on entry to bb0[0]: []
StorageLive(_2); // bb0[0]: scope 0 at <assert_eq macros>:3:7: 3:31
| Live variables on entry to bb0[1]: []
StorageLive(_3); // bb0[1]: scope 0 at <assert_eq macros>:3:9: 3:17
| Live variables on entry to bb0[2]: []
StorageLive(_4); // bb0[2]: scope 0 at /home/nmatsakis/tmp/issue-47267.rs:196:16: 196:21
| Live variables on entry to bb0[3]: []
_4 = const main::e60() -> [return: bb2, unwind: bb1]; // bb0[3]: scope 0 at /home/nmatsakis/tmp/issue-47267.rs:196:16: 196:21
// ty::Const
// + ty: fn() -> u32 {main::e60}
// + val: Function(DefId(0/0:16 ~ issue_47267[317d]::main[0]::e60[0]), Slice([]))
// mir::Constant
// + span: /home/nmatsakis/tmp/issue-47267.rs:196:16: 196:19
// + ty: fn() -> u32 {main::e60}
// + literal: const main::e60
}
| Live variables on entry to bb1: []
bb1: { // cleanup
| Live variables on entry to bb1[0]: []
resume; // bb1[0]: scope 0 at /home/nmatsakis/tmp/issue-47267.rs:143:1: 197:2
}
| Live variables on entry to bb2: [_4]
bb2: {
| Live variables on entry to bb2[0]: [_4]
_3 = &_4; // bb2[0]: scope 0 at <assert_eq macros>:3:9: 3:17
| Live variables on entry to bb2[1]: [_3]
StorageLive(_5); // bb2[1]: scope 0 at <assert_eq macros>:3:20: 3:29
| Live variables on entry to bb2[2]: [_3]
_5 = promoted[3]; // bb2[2]: scope 0 at <assert_eq macros>:3:20: 3:29
// mir::Constant
// + span: <assert_eq macros>:3:20: 3:29
// + ty: &u32
// + literal: promoted[3]
| Live variables on entry to bb2[3]: [_3, _5]
_2 = (move _3, move _5); // bb2[3]: scope 0 at <assert_eq macros>:3:7: 3:31
| Live variables on entry to bb2[4]: [_2]
StorageDead(_5); // bb2[4]: scope 0 at <assert_eq macros>:3:31: 3:31
| Live variables on entry to bb2[5]: [_2]
StorageDead(_3); // bb2[5]: scope 0 at <assert_eq macros>:3:31: 3:31
| Live variables on entry to bb2[6]: [_2]
falseEdges -> [real: bb4, imaginary: bb3]; // bb2[6]: scope 0 at <assert_eq macros>:4:1: 4:25
}
| Live variables on entry to bb3: []
bb3: {
| Live variables on entry to bb3[0]: []
unreachable; // bb3[0]: scope 0 at <assert_eq macros>:3:1: 10:29
}
| Live variables on entry to bb4: [_2]
bb4: {
| Live variables on entry to bb4[0]: [_2]
StorageLive(_7); // bb4[0]: scope 0 at <assert_eq macros>:4:3: 4:11
| Live variables on entry to bb4[1]: [_2]
_7 = (_2.0: &u32); // bb4[1]: scope 0 at <assert_eq macros>:4:3: 4:11
| Live variables on entry to bb4[2]: [_2, _7]
StorageLive(_8); // bb4[2]: scope 0 at <assert_eq macros>:4:14: 4:23
| Live variables on entry to bb4[3]: [_2, _7]
_8 = (_2.1: &u32); // bb4[3]: scope 0 at <assert_eq macros>:4:14: 4:23
| Live variables on entry to bb4[4]: [_7, _8]
StorageLive(_9); // bb4[4]: scope 1 at <assert_eq macros>:5:4: 5:35
| Live variables on entry to bb4[5]: [_7, _8]
StorageLive(_10); // bb4[5]: scope 1 at <assert_eq macros>:5:6: 5:35
| Live variables on entry to bb4[6]: [_7, _8]
StorageLive(_11); // bb4[6]: scope 1 at <assert_eq macros>:5:8: 5:18
| Live variables on entry to bb4[7]: [_7, _8]
_11 = (*_7); // bb4[7]: scope 1 at <assert_eq macros>:5:8: 5:18
| Live variables on entry to bb4[8]: [_7, _8, _11]
StorageLive(_12); // bb4[8]: scope 1 at <assert_eq macros>:5:22: 5:33
| Live variables on entry to bb4[9]: [_7, _8, _11]
_12 = (*_8); // bb4[9]: scope 1 at <assert_eq macros>:5:22: 5:33
| Live variables on entry to bb4[10]: [_7, _8, _11, _12]
_10 = Eq(move _11, move _12); // bb4[10]: scope 1 at <assert_eq macros>:5:6: 5:35
| Live variables on entry to bb4[11]: [_7, _8, _10]
StorageDead(_12); // bb4[11]: scope 1 at <assert_eq macros>:5:35: 5:35
| Live variables on entry to bb4[12]: [_7, _8, _10]
StorageDead(_11); // bb4[12]: scope 1 at <assert_eq macros>:5:35: 5:35
| Live variables on entry to bb4[13]: [_7, _8, _10]
_9 = Not(move _10); // bb4[13]: scope 1 at <assert_eq macros>:5:4: 5:35
| Live variables on entry to bb4[14]: [_7, _8, _9]
StorageDead(_10); // bb4[14]: scope 1 at <assert_eq macros>:5:35: 5:35
| Live variables on entry to bb4[15]: [_7, _8, _9]
switchInt(move _9) -> [0u8: bb6, otherwise: bb5]; // bb4[15]: scope 1 at <assert_eq macros>:5:1: 10:25
}
| Live variables on entry to bb5: [_7, _8]
bb5: {
| Live variables on entry to bb5[0]: [_7, _8]
StorageLive(_14); // bb5[0]: scope 1 at <panic macros>:8:1: 8:42
| Live variables on entry to bb5[1]: [_7, _8]
StorageLive(_15); // bb5[1]: scope 1 at <panic macros>:8:1: 8:42
| Live variables on entry to bb5[2]: [_7, _8]
StorageLive(_16); // bb5[2]: scope 1 at <panic macros>:8:3: 8:42
| Live variables on entry to bb5[3]: [_7, _8]
StorageLive(_17); // bb5[3]: scope 1 at <assert_eq macros>:7:1: 9:17
| Live variables on entry to bb5[4]: [_7, _8]
StorageLive(_18); // bb5[4]: scope 1 at <assert_eq macros>:7:1: 9:17
| Live variables on entry to bb5[5]: [_7, _8]
StorageLive(_19); // bb5[5]: scope 1 at <assert_eq macros>:7:1: 9:17
| Live variables on entry to bb5[6]: [_7, _8]
_19 = promoted[2]; // bb5[6]: scope 1 at <assert_eq macros>:7:1: 9:17
// mir::Constant
// + span: <assert_eq macros>:7:1: 9:17
// + ty: &[&str; 3]
// + literal: promoted[2]
| Live variables on entry to bb5[7]: [_7, _8, _19]
_18 = &(*_19); // bb5[7]: scope 1 at <assert_eq macros>:7:1: 9:17
| Live variables on entry to bb5[8]: [_7, _8, _18]
_17 = move _18 as &[&str] (Unsize); // bb5[8]: scope 1 at <assert_eq macros>:7:1: 9:17
| Live variables on entry to bb5[9]: [_7, _8, _17]
StorageDead(_18); // bb5[9]: scope 1 at <assert_eq macros>:9:17: 9:17
| Live variables on entry to bb5[10]: [_7, _8, _17]
StorageLive(_27); // bb5[10]: scope 1 at <assert_eq macros>:7:1: 9:17
| Live variables on entry to bb5[11]: [_7, _8, _17]
StorageLive(_28); // bb5[11]: scope 1 at <assert_eq macros>:7:1: 9:17
| Live variables on entry to bb5[12]: [_7, _8, _17]
StorageLive(_29); // bb5[12]: scope 1 at <assert_eq macros>:7:1: 9:17
| Live variables on entry to bb5[13]: [_7, _8, _17]
StorageLive(_30); // bb5[13]: scope 1 at <assert_eq macros>:7:1: 9:17
| Live variables on entry to bb5[14]: [_7, _8, _17]
StorageLive(_31); // bb5[14]: scope 1 at <assert_eq macros>:7:1: 9:17
| Live variables on entry to bb5[15]: [_7, _8, _17]
StorageLive(_32); // bb5[15]: scope 1 at <assert_eq macros>:10:1: 10:9
| Live variables on entry to bb5[16]: [_7, _8, _17]
_32 = &_7; // bb5[16]: scope 1 at <assert_eq macros>:10:1: 10:9
| Live variables on entry to bb5[17]: [_8, _17, _32]
StorageLive(_33); // bb5[17]: scope 1 at <assert_eq macros>:10:12: 10:21
| Live variables on entry to bb5[18]: [_8, _17, _32]
_33 = &_8; // bb5[18]: scope 1 at <assert_eq macros>:10:12: 10:21
| Live variables on entry to bb5[19]: [_17, _32, _33]
_31 = (move _32, move _33); // bb5[19]: scope 1 at <assert_eq macros>:7:1: 9:17
| Live variables on entry to bb5[20]: [_17, _31]
StorageDead(_33); // bb5[20]: scope 1 at <assert_eq macros>:9:17: 9:17
| Live variables on entry to bb5[21]: [_17, _31]
StorageDead(_32); // bb5[21]: scope 1 at <assert_eq macros>:9:17: 9:17
| Live variables on entry to bb5[22]: [_17, _31]
falseEdges -> [real: bb8, imaginary: bb7]; // bb5[22]: scope 1 at <assert_eq macros>:7:1: 9:17
}
| Live variables on entry to bb6: []
bb6: {
| Live variables on entry to bb6[0]: []
_1 = (); // bb6[0]: scope 1 at <assert_eq macros>:5:1: 10:25
| Live variables on entry to bb6[1]: []
StorageDead(_9); // bb6[1]: scope 1 at <assert_eq macros>:10:25: 10:25
| Live variables on entry to bb6[2]: []
nop; // bb6[2]: scope 0 at <assert_eq macros>:3:1: 10:29
| Live variables on entry to bb6[3]: []
StorageDead(_8); // bb6[3]: scope 0 at <assert_eq macros>:10:29: 10:29
| Live variables on entry to bb6[4]: []
StorageDead(_7); // bb6[4]: scope 0 at <assert_eq macros>:10:29: 10:29
| Live variables on entry to bb6[5]: []
StorageDead(_2); // bb6[5]: scope 0 at <assert_eq macros>:10:31: 10:31
| Live variables on entry to bb6[6]: []
StorageDead(_4); // bb6[6]: scope 0 at <assert_eq macros>:10:31: 10:31
| Live variables on entry to bb6[7]: []
_0 = (); // bb6[7]: scope 0 at /home/nmatsakis/tmp/issue-47267.rs:143:11: 197:2
| Live variables on entry to bb6[8]: []
return; // bb6[8]: scope 0 at /home/nmatsakis/tmp/issue-47267.rs:197:2: 197:2
}
| Live variables on entry to bb7: []
bb7: {
| Live variables on entry to bb7[0]: []
unreachable; // bb7[0]: scope 1 at <assert_eq macros>:7:1: 9:17
}
| Live variables on entry to bb8: [_17, _31]
bb8: {
| Live variables on entry to bb8[0]: [_17, _31]
StorageLive(_34); // bb8[0]: scope 1 at /home/nmatsakis/tmp/issue-47267.rs:1:1: 1:1
| Live variables on entry to bb8[1]: [_17, _31]
_34 = (_31.0: &&u32); // bb8[1]: scope 1 at /home/nmatsakis/tmp/issue-47267.rs:1:1: 1:1
| Live variables on entry to bb8[2]: [_17, _31, _34]
StorageLive(_35); // bb8[2]: scope 1 at /home/nmatsakis/tmp/issue-47267.rs:1:1: 1:1
| Live variables on entry to bb8[3]: [_17, _31, _34]
_35 = (_31.1: &&u32); // bb8[3]: scope 1 at /home/nmatsakis/tmp/issue-47267.rs:1:1: 1:1
| Live variables on entry to bb8[4]: [_17, _34, _35]
StorageLive(_36); // bb8[4]: scope 2 at <panic macros>:8:3: 8:42
| Live variables on entry to bb8[5]: [_17, _34, _35]
StorageLive(_37); // bb8[5]: scope 2 at <assert_eq macros>:10:1: 10:9
| Live variables on entry to bb8[6]: [_17, _34, _35]
_37 = &(*_34); // bb8[6]: scope 2 at <assert_eq macros>:10:1: 10:9
| Live variables on entry to bb8[7]: [_17, _35, _37]
StorageLive(_38); // bb8[7]: scope 2 at <assert_eq macros>:10:1: 10:9
| Live variables on entry to bb8[8]: [_17, _35, _37]
_38 = const std::fmt::Debug::fmt as for<'r, 's, 't0> fn(&'r &u32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> (ReifyFnPointer); // bb8[8]: scope 2 at <assert_eq macros>:10:1: 10:9
// ty::Const
// + ty: for<'r, 's, 't0> fn(&'r &u32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> {<&u32 as std::fmt::Debug>::fmt}
// + val: Function(DefId(2/0:3619 ~ core[7da4]::fmt[0]::Debug[0]::fmt[0]), Slice([&u32]))
// mir::Constant
// + span: <assert_eq macros>:10:1: 10:9
// + ty: for<'r, 's, 't0> fn(&'r &u32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> {<&u32 as std::fmt::Debug>::fmt}
// + literal: const std::fmt::Debug::fmt
| Live variables on entry to bb8[9]: [_17, _35, _37, _38]
_36 = const std::fmt::ArgumentV1::new(move _37, move _38) -> [return: bb9, unwind: bb1]; // bb8[9]: scope 2 at <panic macros>:8:3: 8:42
// ty::Const
// + ty: for<'b> fn(&'b &u32, for<'r, 's, 't0> fn(&'r &u32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>) -> std::fmt::ArgumentV1<'b> {std::fmt::ArgumentV1<'_>::new::<&u32>}
// + val: Function(DefId(2/0:3607 ~ core[7da4]::fmt[0]::{{impl}}[2]::new[0]), Slice(['_#26r, &u32]))
// mir::Constant
// + span: <panic macros>:8:3: 8:42
// + ty: for<'b> fn(&'b &u32, for<'r, 's, 't0> fn(&'r &u32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>) -> std::fmt::ArgumentV1<'b> {std::fmt::ArgumentV1<'_>::new::<&u32>}
// + literal: const std::fmt::ArgumentV1::new
}
| Live variables on entry to bb9: [_17, _35, _36]
bb9: {
| Live variables on entry to bb9[0]: [_17, _35, _36]
nop; // bb9[0]: scope 2 at <panic macros>:8:3: 8:42
| Live variables on entry to bb9[1]: [_17, _35, _36]
StorageDead(_38); // bb9[1]: scope 2 at <panic macros>:8:42: 8:42
| Live variables on entry to bb9[2]: [_17, _35, _36]
StorageDead(_37); // bb9[2]: scope 2 at <panic macros>:8:42: 8:42
| Live variables on entry to bb9[3]: [_17, _35, _36]
StorageLive(_39); // bb9[3]: scope 2 at <panic macros>:8:3: 8:42
| Live variables on entry to bb9[4]: [_17, _35, _36]
StorageLive(_40); // bb9[4]: scope 2 at <assert_eq macros>:10:12: 10:21
| Live variables on entry to bb9[5]: [_17, _35, _36]
_40 = &(*_35); // bb9[5]: scope 2 at <assert_eq macros>:10:12: 10:21
| Live variables on entry to bb9[6]: [_17, _36, _40]
StorageLive(_41); // bb9[6]: scope 2 at <assert_eq macros>:10:12: 10:21
| Live variables on entry to bb9[7]: [_17, _36, _40]
_41 = const std::fmt::Debug::fmt as for<'r, 's, 't0> fn(&'r &u32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> (ReifyFnPointer); // bb9[7]: scope 2 at <assert_eq macros>:10:12: 10:21
// ty::Const
// + ty: for<'r, 's, 't0> fn(&'r &u32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> {<&u32 as std::fmt::Debug>::fmt}
// + val: Function(DefId(2/0:3619 ~ core[7da4]::fmt[0]::Debug[0]::fmt[0]), Slice([&u32]))
// mir::Constant
// + span: <assert_eq macros>:10:12: 10:21
// + ty: for<'r, 's, 't0> fn(&'r &u32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error> {<&u32 as std::fmt::Debug>::fmt}
// + literal: const std::fmt::Debug::fmt
| Live variables on entry to bb9[8]: [_17, _36, _40, _41]
_39 = const std::fmt::ArgumentV1::new(move _40, move _41) -> [return: bb10, unwind: bb1]; // bb9[8]: scope 2 at <panic macros>:8:3: 8:42
// ty::Const
// + ty: for<'b> fn(&'b &u32, for<'r, 's, 't0> fn(&'r &u32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>) -> std::fmt::ArgumentV1<'b> {std::fmt::ArgumentV1<'_>::new::<&u32>}
// + val: Function(DefId(2/0:3607 ~ core[7da4]::fmt[0]::{{impl}}[2]::new[0]), Slice(['_#37r, &u32]))
// mir::Constant
// + span: <panic macros>:8:3: 8:42
// + ty: for<'b> fn(&'b &u32, for<'r, 's, 't0> fn(&'r &u32, &'s mut std::fmt::Formatter<'t0>) -> std::result::Result<(), std::fmt::Error>) -> std::fmt::ArgumentV1<'b> {std::fmt::ArgumentV1<'_>::new::<&u32>}
// + literal: const std::fmt::ArgumentV1::new
}
| Live variables on entry to bb10: [_17, _36, _39]
bb10: {
| Live variables on entry to bb10[0]: [_17, _36, _39]
nop; // bb10[0]: scope 2 at <panic macros>:8:3: 8:42
| Live variables on entry to bb10[1]: [_17, _36, _39]
StorageDead(_41); // bb10[1]: scope 2 at <panic macros>:8:42: 8:42
| Live variables on entry to bb10[2]: [_17, _36, _39]
StorageDead(_40); // bb10[2]: scope 2 at <panic macros>:8:42: 8:42
| Live variables on entry to bb10[3]: [_17, _36, _39]
_30 = [move _36, move _39]; // bb10[3]: scope 2 at <assert_eq macros>:7:1: 9:17
| Live variables on entry to bb10[4]: [_17, _30]
StorageDead(_39); // bb10[4]: scope 2 at <assert_eq macros>:9:17: 9:17
| Live variables on entry to bb10[5]: [_17, _30]
StorageDead(_36); // bb10[5]: scope 2 at <assert_eq macros>:9:17: 9:17
| Live variables on entry to bb10[6]: [_17, _30]
StorageDead(_35); // bb10[6]: scope 1 at <assert_eq macros>:9:17: 9:17
| Live variables on entry to bb10[7]: [_17, _30]
StorageDead(_34); // bb10[7]: scope 1 at <assert_eq macros>:9:17: 9:17
| Live variables on entry to bb10[8]: [_17, _30]
_29 = &_30; // bb10[8]: scope 1 at <assert_eq macros>:7:1: 9:17
| Live variables on entry to bb10[9]: [_17, _29]
_28 = &(*_29); // bb10[9]: scope 1 at <assert_eq macros>:7:1: 9:17
| Live variables on entry to bb10[10]: [_17, _28]
_27 = move _28 as &[std::fmt::ArgumentV1<'_>] (Unsize); // bb10[10]: scope 1 at <assert_eq macros>:7:1: 9:17
| Live variables on entry to bb10[11]: [_17, _27]
StorageDead(_28); // bb10[11]: scope 1 at <assert_eq macros>:9:17: 9:17
| Live variables on entry to bb10[12]: [_17, _27]
StorageLive(_42); // bb10[12]: scope 1 at <panic macros>:8:3: 8:42
| Live variables on entry to bb10[13]: [_17, _27]
StorageLive(_43); // bb10[13]: scope 1 at <panic macros>:8:3: 8:42
| Live variables on entry to bb10[14]: [_17, _27]
StorageLive(_44); // bb10[14]: scope 1 at <panic macros>:8:3: 8:42
| Live variables on entry to bb10[15]: [_17, _27]
_44 = promoted[1]; // bb10[15]: scope 1 at <panic macros>:8:3: 8:42
// mir::Constant
// + span: <panic macros>:8:3: 8:42
// + ty: &[std::fmt::rt::v1::Argument; 2]
// + literal: promoted[1]
| Live variables on entry to bb10[16]: [_17, _27, _44]
_43 = &(*_44); // bb10[16]: scope 1 at <panic macros>:8:3: 8:42
| Live variables on entry to bb10[17]: [_17, _27, _43]
_42 = move _43 as &[std::fmt::rt::v1::Argument] (Unsize); // bb10[17]: scope 1 at <panic macros>:8:3: 8:42
| Live variables on entry to bb10[18]: [_17, _27, _42]
StorageDead(_43); // bb10[18]: scope 1 at <panic macros>:8:42: 8:42
| Live variables on entry to bb10[19]: [_17, _27, _42]
_16 = const std::fmt::Arguments::new_v1_formatted(move _17, move _27, move _42) -> [return: bb11, unwind: bb1]; // bb10[19]: scope 1 at <panic macros>:8:3: 8:42
// ty::Const
// + ty: fn(&[&str], &[std::fmt::ArgumentV1<'_>], &[std::fmt::rt::v1::Argument]) -> std::fmt::Arguments<'_> {std::fmt::Arguments<'_>::new_v1_formatted}
// + val: Function(DefId(2/0:3612 ~ core[7da4]::fmt[0]::{{impl}}[3]::new_v1_formatted[0]), Slice(['_#49r]))
// mir::Constant
// + span: <panic macros>:8:3: 8:42
// + ty: fn(&[&str], &[std::fmt::ArgumentV1<'_>], &[std::fmt::rt::v1::Argument]) -> std::fmt::Arguments<'_> {std::fmt::Arguments<'_>::new_v1_formatted}
// + literal: const std::fmt::Arguments::new_v1_formatted
}
| Live variables on entry to bb11: [_16]
bb11: {
| Live variables on entry to bb11[0]: [_16]
StorageDead(_42); // bb11[0]: scope 1 at <panic macros>:8:42: 8:42
| Live variables on entry to bb11[1]: [_16]
StorageDead(_27); // bb11[1]: scope 1 at <panic macros>:8:42: 8:42
| Live variables on entry to bb11[2]: [_16]
StorageDead(_17); // bb11[2]: scope 1 at <panic macros>:8:42: 8:42
| Live variables on entry to bb11[3]: [_16]
_15 = &_16; // bb11[3]: scope 1 at <panic macros>:8:1: 8:42
| Live variables on entry to bb11[4]: [_15]
_14 = &(*_15); // bb11[4]: scope 1 at <panic macros>:8:1: 8:42
| Live variables on entry to bb11[5]: [_14]
StorageLive(_58); // bb11[5]: scope 1 at <panic macros>:8:45: 9:60
| Live variables on entry to bb11[6]: [_14]
StorageLive(_59); // bb11[6]: scope 1 at <panic macros>:8:45: 9:60
| Live variables on entry to bb11[7]: [_14]
_59 = promoted[0]; // bb11[7]: scope 1 at <panic macros>:8:45: 9:60
// mir::Constant
// + span: <panic macros>:8:45: 9:60
// + ty: &(&str, u32, u32)
// + literal: promoted[0]
| Live variables on entry to bb11[8]: [_14, _59]
_58 = &(*_59); // bb11[8]: scope 1 at <panic macros>:8:45: 9:60
| Live variables on entry to bb11[9]: [_14, _58]
const std::rt::begin_panic_fmt(move _14, move _58) -> bb1; // bb11[9]: scope 1 at <panic macros>:7:1: 9:62
// ty::Const
// + ty: for<'r, 's, 't0> fn(&'r std::fmt::Arguments<'s>, &'t0 (&'static str, u32, u32)) -> ! {std::rt::begin_panic_fmt}
// + val: Function(DefId(1/0:4447 ~ std[f356]::panicking[0]::begin_panic_fmt[0]), Slice([]))
// mir::Constant
// + span: <panic macros>:7:1: 7:33
// + ty: for<'r, 's, 't0> fn(&'r std::fmt::Arguments<'s>, &'t0 (&'static str, u32, u32)) -> ! {std::rt::begin_panic_fmt}
// + literal: const std::rt::begin_panic_fmt
}
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment