Skip to content

Instantly share code, notes, and snippets.

@nikomatsakis nikomatsakis/rustc.svg Secret
Created Oct 9, 2019

Embed
What would you like to do?
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.40.1 (0)
-->
<!-- Title: Mir_0_34 Pages: 1 -->
<svg width="6179pt" height="4227pt"
viewBox="0.00 0.00 6179.00 4227.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 4223)">
<title>Mir_0_34</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-4223 6175,-4223 6175,4 -4,4"/>
<text text-anchor="start" x="8" y="-622.8" font-family="monospace" font-size="14.00" fill="#000000">fn bar::{{closure}}#0(_1: [static generator@/home/nmatsakis/tmp/issue&#45;64960.rs:57:5: 67:6 for&lt;&#39;r, &#39;s, &#39;t0, &#39;t1, &#39;t2, &#39;t3, &#39;t4, &#39;t5, &#39;t6, &#39;t7, &#39;t8, &#39;t9, &#39;t10, &#39;t11, &#39;t12, &#39;t13, &#39;t14, &#39;t15, &#39;t16, &#39;t17, &#39;t18, &#39;t19&gt; {fn(std::string::String) &#45;&gt; impl std::future::Future {foo}, for&lt;&#39;t20&gt; fn(Arguments&lt;&#39;t20&gt;) &#45;&gt; std::string::String {format}, fn(&amp;&#39;r [&amp;&#39;r str], &amp;&#39;r [ArgumentV1&lt;&#39;r&gt;]) &#45;&gt; Arguments&lt;&#39;r&gt; {Arguments::&lt;&#39;r&gt;::new_v1}, &amp;&#39;s str, str, &amp;&#39;t0 str, [&amp;&#39;t1 str; 2], &amp;&#39;t2 [&amp;&#39;t3 str; 2], &amp;&#39;t4 [&amp;&#39;t5 str; 2], &amp;&#39;t6 [&amp;&#39;t7 str], i32, &amp;&#39;t8 i32, &amp;&#39;t9 i32, (&amp;&#39;t10 i32, &amp;&#39;t11 i32), [ArgumentV1&lt;&#39;t12&gt;; 2], &amp;&#39;t13 [ArgumentV1&lt;&#39;t14&gt;; 2], &amp;&#39;t15 [ArgumentV1&lt;&#39;t16&gt;; 2], &amp;&#39;t17 [ArgumentV1&lt;&#39;t18&gt;], Arguments&lt;&#39;t19&gt;, std::string::String, impl std::future::Future, ()}]) &#45;&gt; ()</text>
<text text-anchor="start" x="8" y="-607.8" font-family="monospace" font-size="14.00" fill="#000000">let _2: ();</text>
<text text-anchor="start" x="8" y="-592.8" font-family="monospace" font-size="14.00" fill="#000000">let mut _3: impl std::future::Future;</text>
<text text-anchor="start" x="8" y="-577.8" font-family="monospace" font-size="14.00" fill="#000000">let mut _4: std::string::String;</text>
<text text-anchor="start" x="8" y="-562.8" font-family="monospace" font-size="14.00" fill="#000000">let mut _5: Arguments&lt;&#39;_&gt;;</text>
<text text-anchor="start" x="8" y="-547.8" font-family="monospace" font-size="14.00" fill="#000000">let mut _6: &amp;[&amp;str];</text>
<text text-anchor="start" x="8" y="-532.8" font-family="monospace" font-size="14.00" fill="#000000">let mut _7: &amp;[&amp;str; 2];</text>
<text text-anchor="start" x="8" y="-517.8" font-family="monospace" font-size="14.00" fill="#000000">let mut _8: &amp;[&amp;str; 2];</text>
<text text-anchor="start" x="8" y="-502.8" font-family="monospace" font-size="14.00" fill="#000000">let _9: [&amp;str; 2];</text>
<text text-anchor="start" x="8" y="-487.8" font-family="monospace" font-size="14.00" fill="#000000">let mut _10: &amp;str;</text>
<text text-anchor="start" x="8" y="-472.8" font-family="monospace" font-size="14.00" fill="#000000">let mut _11: &amp;str;</text>
<text text-anchor="start" x="8" y="-457.8" font-family="monospace" font-size="14.00" fill="#000000">let mut _12: &amp;str;</text>
<text text-anchor="start" x="8" y="-442.8" font-family="monospace" font-size="14.00" fill="#000000">let mut _13: &amp;str;</text>
<text text-anchor="start" x="8" y="-427.8" font-family="monospace" font-size="14.00" fill="#000000">let mut _14: &amp;[ArgumentV1&lt;&#39;_&gt;];</text>
<text text-anchor="start" x="8" y="-412.8" font-family="monospace" font-size="14.00" fill="#000000">let mut _15: &amp;[ArgumentV1&lt;&#39;_&gt;; 2];</text>
<text text-anchor="start" x="8" y="-397.8" font-family="monospace" font-size="14.00" fill="#000000">let mut _16: &amp;[ArgumentV1&lt;&#39;_&gt;; 2];</text>
<text text-anchor="start" x="8" y="-382.8" font-family="monospace" font-size="14.00" fill="#000000">let _17: [ArgumentV1&lt;&#39;_&gt;; 2];</text>
<text text-anchor="start" x="8" y="-367.8" font-family="monospace" font-size="14.00" fill="#000000">let mut _18: (&amp;i32, &amp;i32);</text>
<text text-anchor="start" x="8" y="-352.8" font-family="monospace" font-size="14.00" fill="#000000">let mut _19: &amp;i32;</text>
<text text-anchor="start" x="8" y="-337.8" font-family="monospace" font-size="14.00" fill="#000000">let _20: i32;</text>
<text text-anchor="start" x="8" y="-322.8" font-family="monospace" font-size="14.00" fill="#000000">let mut _21: &amp;i32;</text>
<text text-anchor="start" x="8" y="-307.8" font-family="monospace" font-size="14.00" fill="#000000">let _22: i32;</text>
<text text-anchor="start" x="8" y="-292.8" font-family="monospace" font-size="14.00" fill="#000000">let _23: &amp;i32; // arg0</text>
<text text-anchor="start" x="8" y="-277.8" font-family="monospace" font-size="14.00" fill="#000000">let _24: &amp;i32; // arg1</text>
<text text-anchor="start" x="8" y="-262.8" font-family="monospace" font-size="14.00" fill="#000000">let mut _25: ArgumentV1&lt;&#39;_&gt;;</text>
<text text-anchor="start" x="8" y="-247.8" font-family="monospace" font-size="14.00" fill="#000000">let mut _26: &amp;i32;</text>
<text text-anchor="start" x="8" y="-232.8" font-family="monospace" font-size="14.00" fill="#000000">let mut _27: for&lt;&#39;r, &#39;s, &#39;t0&gt; fn(&amp;&#39;r i32, &amp;&#39;s mut std::fmt::Formatter&lt;&#39;t0&gt;) &#45;&gt; std::result::Result&lt;(), std::fmt::Error&gt;;</text>
<text text-anchor="start" x="8" y="-217.8" font-family="monospace" font-size="14.00" fill="#000000">let mut _28: ArgumentV1&lt;&#39;_&gt;;</text>
<text text-anchor="start" x="8" y="-202.8" font-family="monospace" font-size="14.00" fill="#000000">let mut _29: &amp;i32;</text>
<text text-anchor="start" x="8" y="-187.8" font-family="monospace" font-size="14.00" fill="#000000">let mut _30: for&lt;&#39;r, &#39;s, &#39;t0&gt; fn(&amp;&#39;r i32, &amp;&#39;s mut std::fmt::Formatter&lt;&#39;t0&gt;) &#45;&gt; std::result::Result&lt;(), std::fmt::Error&gt;;</text>
<text text-anchor="start" x="8" y="-172.8" font-family="monospace" font-size="14.00" fill="#000000">let mut _31: impl std::future::Future; // pinned</text>
<text text-anchor="start" x="8" y="-157.8" font-family="monospace" font-size="14.00" fill="#000000">let mut _32: ();</text>
<text text-anchor="start" x="8" y="-142.8" font-family="monospace" font-size="14.00" fill="#000000">let _33: ();</text>
<text text-anchor="start" x="8" y="-127.8" font-family="monospace" font-size="14.00" fill="#000000">let mut _34: std::task::Poll&lt;()&gt;;</text>
<text text-anchor="start" x="8" y="-112.8" font-family="monospace" font-size="14.00" fill="#000000">let mut _35: std::pin::Pin&lt;&amp;mut impl std::future::Future&gt;;</text>
<text text-anchor="start" x="8" y="-97.8" font-family="monospace" font-size="14.00" fill="#000000">let mut _36: &amp;mut impl std::future::Future;</text>
<text text-anchor="start" x="8" y="-82.8" font-family="monospace" font-size="14.00" fill="#000000">let mut _37: &amp;mut impl std::future::Future;</text>
<text text-anchor="start" x="8" y="-67.8" font-family="monospace" font-size="14.00" fill="#000000">let mut _38: isize;</text>
<text text-anchor="start" x="8" y="-52.8" font-family="monospace" font-size="14.00" fill="#000000">let _39: (); // result</text>
<text text-anchor="start" x="8" y="-37.8" font-family="monospace" font-size="14.00" fill="#000000">let mut _40: !;</text>
<text text-anchor="start" x="8" y="-22.8" font-family="monospace" font-size="14.00" fill="#000000">let _41: ();</text>
<text text-anchor="start" x="8" y="-7.8" font-family="monospace" font-size="14.00" fill="#000000">let mut _42: ();</text>
<!-- bb0 -->
<g id="node1" class="node">
<title>bb0</title>
<polygon fill="#c0c0c0" stroke="transparent" points="1734.5,-4193.5 1734.5,-4214.5 3217.5,-4214.5 3217.5,-4193.5 1734.5,-4193.5"/>
<polygon fill="none" stroke="#000000" points="1734.5,-4193.5 1734.5,-4214.5 3217.5,-4214.5 3217.5,-4193.5 1734.5,-4193.5"/>
<text text-anchor="start" x="2471.5" y="-4200.3" font-family="monospace" font-size="14.00" fill="#000000">0</text>
<polygon fill="none" stroke="#000000" points="1734.5,-3692.5 1734.5,-4193.5 3217.5,-4193.5 3217.5,-3692.5 1734.5,-3692.5"/>
<text text-anchor="start" x="1737.5" y="-4179.3" font-family="monospace" font-size="14.00" fill="#000000">StorageLive(_2)</text>
<text text-anchor="start" x="1737.5" y="-4164.3" font-family="monospace" font-size="14.00" fill="#000000">StorageLive(_3)</text>
<text text-anchor="start" x="1737.5" y="-4149.3" font-family="monospace" font-size="14.00" fill="#000000">StorageLive(_4)</text>
<text text-anchor="start" x="1737.5" y="-4134.3" font-family="monospace" font-size="14.00" fill="#000000">StorageLive(_5)</text>
<text text-anchor="start" x="1737.5" y="-4119.3" font-family="monospace" font-size="14.00" fill="#000000">StorageLive(_6)</text>
<text text-anchor="start" x="1737.5" y="-4104.3" font-family="monospace" font-size="14.00" fill="#000000">StorageLive(_7)</text>
<text text-anchor="start" x="1737.5" y="-4089.3" font-family="monospace" font-size="14.00" fill="#000000">StorageLive(_8)</text>
<text text-anchor="start" x="1737.5" y="-4074.3" font-family="monospace" font-size="14.00" fill="#000000">_8 = &amp;(promoted[2]: [&amp;str; 2])</text>
<text text-anchor="start" x="1737.5" y="-4059.3" font-family="monospace" font-size="14.00" fill="#000000">_7 = &amp;(*_8)</text>
<text text-anchor="start" x="1737.5" y="-4044.3" font-family="monospace" font-size="14.00" fill="#000000">_6 = move _7 as &amp;[&amp;str] (Pointer(Unsize))</text>
<text text-anchor="start" x="1737.5" y="-4029.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_7)</text>
<text text-anchor="start" x="1737.5" y="-4014.3" font-family="monospace" font-size="14.00" fill="#000000">StorageLive(_14)</text>
<text text-anchor="start" x="1737.5" y="-3999.3" font-family="monospace" font-size="14.00" fill="#000000">StorageLive(_15)</text>
<text text-anchor="start" x="1737.5" y="-3984.3" font-family="monospace" font-size="14.00" fill="#000000">StorageLive(_16)</text>
<text text-anchor="start" x="1737.5" y="-3969.3" font-family="monospace" font-size="14.00" fill="#000000">StorageLive(_17)</text>
<text text-anchor="start" x="1737.5" y="-3954.3" font-family="monospace" font-size="14.00" fill="#000000">StorageLive(_18)</text>
<text text-anchor="start" x="1737.5" y="-3939.3" font-family="monospace" font-size="14.00" fill="#000000">StorageLive(_19)</text>
<text text-anchor="start" x="1737.5" y="-3924.3" font-family="monospace" font-size="14.00" fill="#000000">_19 = &amp;(promoted[1]: i32)</text>
<text text-anchor="start" x="1737.5" y="-3909.3" font-family="monospace" font-size="14.00" fill="#000000">StorageLive(_21)</text>
<text text-anchor="start" x="1737.5" y="-3894.3" font-family="monospace" font-size="14.00" fill="#000000">_21 = &amp;(promoted[0]: i32)</text>
<text text-anchor="start" x="1737.5" y="-3879.3" font-family="monospace" font-size="14.00" fill="#000000">_18 = (move _19, move _21)</text>
<text text-anchor="start" x="1737.5" y="-3864.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_21)</text>
<text text-anchor="start" x="1737.5" y="-3849.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_19)</text>
<text text-anchor="start" x="1737.5" y="-3834.3" font-family="monospace" font-size="14.00" fill="#000000">FakeRead(ForMatchedPlace, _18)</text>
<text text-anchor="start" x="1737.5" y="-3819.3" font-family="monospace" font-size="14.00" fill="#000000">StorageLive(_23)</text>
<text text-anchor="start" x="1737.5" y="-3804.3" font-family="monospace" font-size="14.00" fill="#000000">_23 = (_18.0: &amp;i32)</text>
<text text-anchor="start" x="1737.5" y="-3789.3" font-family="monospace" font-size="14.00" fill="#000000">StorageLive(_24)</text>
<text text-anchor="start" x="1737.5" y="-3774.3" font-family="monospace" font-size="14.00" fill="#000000">_24 = (_18.1: &amp;i32)</text>
<text text-anchor="start" x="1737.5" y="-3759.3" font-family="monospace" font-size="14.00" fill="#000000">StorageLive(_25)</text>
<text text-anchor="start" x="1737.5" y="-3744.3" font-family="monospace" font-size="14.00" fill="#000000">StorageLive(_26)</text>
<text text-anchor="start" x="1737.5" y="-3729.3" font-family="monospace" font-size="14.00" fill="#000000">_26 = &amp;(*_23)</text>
<text text-anchor="start" x="1737.5" y="-3714.3" font-family="monospace" font-size="14.00" fill="#000000">StorageLive(_27)</text>
<text text-anchor="start" x="1737.5" y="-3699.3" font-family="monospace" font-size="14.00" fill="#000000">_27 = const &lt;i32 as std::fmt::Display&gt;::fmt as for&lt;&#39;r, &#39;s, &#39;t0&gt; fn(&amp;&#39;r i32, &amp;&#39;s mut std::fmt::Formatter&lt;&#39;t0&gt;) &#45;&gt; std::result::Result&lt;(), std::fmt::Error&gt; (Pointer(ReifyFnPointer))</text>
<polygon fill="none" stroke="#000000" points="1734.5,-3671.5 1734.5,-3692.5 3217.5,-3692.5 3217.5,-3671.5 1734.5,-3671.5"/>
<text text-anchor="start" x="1737.5" y="-3678.3" font-family="monospace" font-size="14.00" fill="#000000">_25 = const ArgumentV1::&lt;&#39;_&gt;::new::&lt;i32&gt;(move _26, move _27)</text>
</g>
<!-- bb2 -->
<g id="node3" class="node">
<title>bb2</title>
<polygon fill="#c0c0c0" stroke="transparent" points="2476.5,-3591.5 2476.5,-3612.5 3959.5,-3612.5 3959.5,-3591.5 2476.5,-3591.5"/>
<polygon fill="none" stroke="#000000" points="2476.5,-3591.5 2476.5,-3612.5 3959.5,-3612.5 3959.5,-3591.5 2476.5,-3591.5"/>
<text text-anchor="start" x="3213.5" y="-3598.3" font-family="monospace" font-size="14.00" fill="#000000">2</text>
<polygon fill="none" stroke="#000000" points="2476.5,-3480.5 2476.5,-3591.5 3959.5,-3591.5 3959.5,-3480.5 2476.5,-3480.5"/>
<text text-anchor="start" x="2479.5" y="-3577.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_27)</text>
<text text-anchor="start" x="2479.5" y="-3562.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_26)</text>
<text text-anchor="start" x="2479.5" y="-3547.3" font-family="monospace" font-size="14.00" fill="#000000">StorageLive(_28)</text>
<text text-anchor="start" x="2479.5" y="-3532.3" font-family="monospace" font-size="14.00" fill="#000000">StorageLive(_29)</text>
<text text-anchor="start" x="2479.5" y="-3517.3" font-family="monospace" font-size="14.00" fill="#000000">_29 = &amp;(*_24)</text>
<text text-anchor="start" x="2479.5" y="-3502.3" font-family="monospace" font-size="14.00" fill="#000000">StorageLive(_30)</text>
<text text-anchor="start" x="2479.5" y="-3487.3" font-family="monospace" font-size="14.00" fill="#000000">_30 = const &lt;i32 as std::fmt::Display&gt;::fmt as for&lt;&#39;r, &#39;s, &#39;t0&gt; fn(&amp;&#39;r i32, &amp;&#39;s mut std::fmt::Formatter&lt;&#39;t0&gt;) &#45;&gt; std::result::Result&lt;(), std::fmt::Error&gt; (Pointer(ReifyFnPointer))</text>
<polygon fill="none" stroke="#000000" points="2476.5,-3459.5 2476.5,-3480.5 3959.5,-3480.5 3959.5,-3459.5 2476.5,-3459.5"/>
<text text-anchor="start" x="2479.5" y="-3466.3" font-family="monospace" font-size="14.00" fill="#000000">_28 = const ArgumentV1::&lt;&#39;_&gt;::new::&lt;i32&gt;(move _29, move _30)</text>
</g>
<!-- bb0&#45;&gt;bb2 -->
<g id="edge1" class="edge">
<title>bb0&#45;&gt;bb2</title>
<path fill="none" stroke="#000000" d="M2977.8746,-3667.9387C3007.4439,-3651.7195 3035.7347,-3636.2015 3061.8483,-3621.8777"/>
<polygon fill="#000000" stroke="#000000" points="3063.535,-3624.9445 3070.6194,-3617.0666 3060.1685,-3618.8072 3063.535,-3624.9445"/>
<text text-anchor="middle" x="3043.5" y="-3638.8" font-family="monospace" font-size="14.00" fill="#000000">return</text>
</g>
<!-- bb8 -->
<g id="node9" class="node">
<title>bb8</title>
<polygon fill="#c0c0c0" stroke="transparent" points="2456.5,-3412.5 2456.5,-3433.5 2595.5,-3433.5 2595.5,-3412.5 2456.5,-3412.5"/>
<polygon fill="none" stroke="#000000" points="2456.5,-3412.5 2456.5,-3433.5 2595.5,-3433.5 2595.5,-3412.5 2456.5,-3412.5"/>
<text text-anchor="start" x="2521.5" y="-3419.3" font-family="monospace" font-size="14.00" fill="#000000">8</text>
<polygon fill="none" stroke="#000000" points="2456.5,-3361.5 2456.5,-3412.5 2595.5,-3412.5 2595.5,-3361.5 2456.5,-3361.5"/>
<text text-anchor="start" x="2459.5" y="-3398.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_27)</text>
<text text-anchor="start" x="2459.5" y="-3383.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_26)</text>
<text text-anchor="start" x="2459.5" y="-3368.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_25)</text>
<polygon fill="none" stroke="#000000" points="2456.5,-3340.5 2456.5,-3361.5 2595.5,-3361.5 2595.5,-3340.5 2456.5,-3340.5"/>
<text text-anchor="start" x="2459.5" y="-3347.3" font-family="monospace" font-size="14.00" fill="#000000">goto</text>
</g>
<!-- bb0&#45;&gt;bb8 -->
<g id="edge2" class="edge">
<title>bb0&#45;&gt;bb8</title>
<path fill="none" stroke="#000000" d="M2426.4067,-3667.9054C2424.2609,-3596.7786 2431.6812,-3521.7736 2458.5,-3456 2459.7562,-3452.9192 2461.225,-3449.9017 2462.8656,-3446.9564"/>
<polygon fill="#000000" stroke="#000000" points="2465.9171,-3448.6781 2468.2618,-3438.346 2459.9856,-3444.9608 2465.9171,-3448.6781"/>
<text text-anchor="middle" x="2451.5" y="-3638.8" font-family="monospace" font-size="14.00" fill="#000000">unwind</text>
</g>
<!-- bb1 -->
<g id="node2" class="node">
<title>bb1</title>
<polygon fill="#c0c0c0" stroke="transparent" points="3640.5,-663 3640.5,-684 3696.5,-684 3696.5,-663 3640.5,-663"/>
<polygon fill="none" stroke="#000000" points="3640.5,-663 3640.5,-684 3696.5,-684 3696.5,-663 3640.5,-663"/>
<text text-anchor="start" x="3664" y="-669.8" font-family="monospace" font-size="14.00" fill="#000000">1</text>
<polygon fill="none" stroke="#000000" points="3640.5,-642 3640.5,-663 3696.5,-663 3696.5,-642 3640.5,-642"/>
<text text-anchor="start" x="3643.5" y="-648.8" font-family="monospace" font-size="14.00" fill="#000000">resume</text>
</g>
<!-- bb9 -->
<g id="node10" class="node">
<title>bb9</title>
<polygon fill="#c0c0c0" stroke="transparent" points="2995.5,-3293.5 2995.5,-3314.5 3439.5,-3314.5 3439.5,-3293.5 2995.5,-3293.5"/>
<polygon fill="none" stroke="#000000" points="2995.5,-3293.5 2995.5,-3314.5 3439.5,-3314.5 3439.5,-3293.5 2995.5,-3293.5"/>
<text text-anchor="start" x="3213" y="-3300.3" font-family="monospace" font-size="14.00" fill="#000000">9</text>
<polygon fill="none" stroke="#000000" points="2995.5,-3122.5 2995.5,-3293.5 3439.5,-3293.5 3439.5,-3122.5 2995.5,-3122.5"/>
<text text-anchor="start" x="2998.5" y="-3279.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_30)</text>
<text text-anchor="start" x="2998.5" y="-3264.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_29)</text>
<text text-anchor="start" x="2998.5" y="-3249.3" font-family="monospace" font-size="14.00" fill="#000000">_17 = [move _25, move _28]</text>
<text text-anchor="start" x="2998.5" y="-3234.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_28)</text>
<text text-anchor="start" x="2998.5" y="-3219.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_25)</text>
<text text-anchor="start" x="2998.5" y="-3204.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_24)</text>
<text text-anchor="start" x="2998.5" y="-3189.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_23)</text>
<text text-anchor="start" x="2998.5" y="-3174.3" font-family="monospace" font-size="14.00" fill="#000000">_16 = &amp;_17</text>
<text text-anchor="start" x="2998.5" y="-3159.3" font-family="monospace" font-size="14.00" fill="#000000">_15 = &amp;(*_16)</text>
<text text-anchor="start" x="2998.5" y="-3144.3" font-family="monospace" font-size="14.00" fill="#000000">_14 = move _15 as &amp;[ArgumentV1&lt;&#39;_&gt;] (Pointer(Unsize))</text>
<text text-anchor="start" x="2998.5" y="-3129.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_15)</text>
<polygon fill="none" stroke="#000000" points="2995.5,-3101.5 2995.5,-3122.5 3439.5,-3122.5 3439.5,-3101.5 2995.5,-3101.5"/>
<text text-anchor="start" x="2998.5" y="-3108.3" font-family="monospace" font-size="14.00" fill="#000000">_5 = const Arguments::&lt;&#39;_&gt;::new_v1(move _6, move _14)</text>
</g>
<!-- bb2&#45;&gt;bb9 -->
<g id="edge3" class="edge">
<title>bb2&#45;&gt;bb9</title>
<path fill="none" stroke="#000000" d="M3217.5,-3455.8421C3217.5,-3417.7358 3217.5,-3371.4534 3217.5,-3329.2778"/>
<polygon fill="#000000" stroke="#000000" points="3221.0001,-3329.2198 3217.5,-3319.2198 3214.0001,-3329.2198 3221.0001,-3329.2198"/>
<text text-anchor="middle" x="3242.5" y="-3383.8" font-family="monospace" font-size="14.00" fill="#000000">return</text>
</g>
<!-- bb10 -->
<g id="node11" class="node">
<title>bb10</title>
<polygon fill="#c0c0c0" stroke="transparent" points="2822.5,-3241.5 2822.5,-3262.5 2961.5,-3262.5 2961.5,-3241.5 2822.5,-3241.5"/>
<polygon fill="none" stroke="#000000" points="2822.5,-3241.5 2822.5,-3262.5 2961.5,-3262.5 2961.5,-3241.5 2822.5,-3241.5"/>
<text text-anchor="start" x="2883.5" y="-3248.3" font-family="monospace" font-size="14.00" fill="#000000">10</text>
<polygon fill="none" stroke="#000000" points="2822.5,-3175.5 2822.5,-3241.5 2961.5,-3241.5 2961.5,-3175.5 2822.5,-3175.5"/>
<text text-anchor="start" x="2825.5" y="-3227.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_30)</text>
<text text-anchor="start" x="2825.5" y="-3212.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_29)</text>
<text text-anchor="start" x="2825.5" y="-3197.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_28)</text>
<text text-anchor="start" x="2825.5" y="-3182.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_25)</text>
<polygon fill="none" stroke="#000000" points="2822.5,-3154.5 2822.5,-3175.5 2961.5,-3175.5 2961.5,-3154.5 2822.5,-3154.5"/>
<text text-anchor="start" x="2825.5" y="-3161.3" font-family="monospace" font-size="14.00" fill="#000000">goto</text>
</g>
<!-- bb2&#45;&gt;bb10 -->
<g id="edge4" class="edge">
<title>bb2&#45;&gt;bb10</title>
<path fill="none" stroke="#000000" d="M3121.6142,-3455.7467C3076.5355,-3416.1769 3023.0381,-3366.8357 2978.5,-3319 2965.7251,-3305.2792 2952.787,-3289.8487 2940.9329,-3274.9684"/>
<polygon fill="#000000" stroke="#000000" points="2943.4085,-3272.4554 2934.4668,-3266.7725 2937.9129,-3276.7912 2943.4085,-3272.4554"/>
<text text-anchor="middle" x="3123.5" y="-3383.8" font-family="monospace" font-size="14.00" fill="#000000">unwind</text>
</g>
<!-- bb3 -->
<g id="node4" class="node">
<title>bb3</title>
<polygon fill="#c0c0c0" stroke="transparent" points="3367.5,-812 3367.5,-833 3440.5,-833 3440.5,-812 3367.5,-812"/>
<polygon fill="none" stroke="#000000" points="3367.5,-812 3367.5,-833 3440.5,-833 3440.5,-812 3367.5,-812"/>
<text text-anchor="start" x="3399.5" y="-818.8" font-family="monospace" font-size="14.00" fill="#000000">3</text>
<polygon fill="none" stroke="#000000" points="3367.5,-791 3367.5,-812 3440.5,-812 3440.5,-791 3367.5,-791"/>
<text text-anchor="start" x="3370.5" y="-797.8" font-family="monospace" font-size="14.00" fill="#000000">drop(_1)</text>
</g>
<!-- bb3&#45;&gt;bb1 -->
<g id="edge5" class="edge">
<title>bb3&#45;&gt;bb1</title>
<path fill="none" stroke="#000000" d="M3431.1191,-786.988C3448.7083,-771.8658 3472.4479,-752.8915 3495.5,-739 3536.4645,-714.3142 3586.88,-693.0963 3622.6956,-679.4028"/>
<polygon fill="#000000" stroke="#000000" points="3624.2706,-682.5494 3632.3902,-675.7434 3621.7985,-676.0004 3624.2706,-682.5494"/>
<text text-anchor="middle" x="3579.5" y="-709.8" font-family="monospace" font-size="14.00" fill="#000000">return</text>
</g>
<!-- bb4 -->
<g id="node5" class="node">
<title>bb4</title>
<polygon fill="#c0c0c0" stroke="transparent" points="3088.5,-2373 3088.5,-2394 3227.5,-2394 3227.5,-2373 3088.5,-2373"/>
<polygon fill="none" stroke="#000000" points="3088.5,-2373 3088.5,-2394 3227.5,-2394 3227.5,-2373 3088.5,-2373"/>
<text text-anchor="start" x="3153.5" y="-2379.8" font-family="monospace" font-size="14.00" fill="#000000">4</text>
<polygon fill="none" stroke="#000000" points="3088.5,-2277 3088.5,-2373 3227.5,-2373 3227.5,-2277 3088.5,-2277"/>
<text text-anchor="start" x="3091.5" y="-2358.8" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_18)</text>
<text text-anchor="start" x="3091.5" y="-2343.8" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_17)</text>
<text text-anchor="start" x="3091.5" y="-2328.8" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_16)</text>
<text text-anchor="start" x="3091.5" y="-2313.8" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_8)</text>
<text text-anchor="start" x="3091.5" y="-2298.8" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_3)</text>
<text text-anchor="start" x="3091.5" y="-2283.8" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_2)</text>
<polygon fill="none" stroke="#000000" points="3088.5,-2256 3088.5,-2277 3227.5,-2277 3227.5,-2256 3088.5,-2256"/>
<text text-anchor="start" x="3091.5" y="-2262.8" font-family="monospace" font-size="14.00" fill="#000000">goto</text>
</g>
<!-- bb4&#45;&gt;bb3 -->
<g id="edge6" class="edge">
<title>bb4&#45;&gt;bb3</title>
<path fill="none" stroke="#000000" d="M3175.6944,-2251.6571C3183.7782,-2212.9114 3191.5,-2164.4088 3191.5,-2120.5 3191.5,-2120.5 3191.5,-2120.5 3191.5,-1016.5 3191.5,-928.6437 3286.9786,-866.6067 3349.7851,-835.3024"/>
<polygon fill="#000000" stroke="#000000" points="3351.3447,-838.4359 3358.7993,-830.9074 3348.2769,-832.144 3351.3447,-838.4359"/>
</g>
<!-- bb5 -->
<g id="node6" class="node">
<title>bb5</title>
<polygon fill="#c0c0c0" stroke="transparent" points="3027.5,-2733 3027.5,-2754 3157.5,-2754 3157.5,-2733 3027.5,-2733"/>
<polygon fill="none" stroke="#000000" points="3027.5,-2733 3027.5,-2754 3157.5,-2754 3157.5,-2733 3027.5,-2733"/>
<text text-anchor="start" x="3088" y="-2739.8" font-family="monospace" font-size="14.00" fill="#000000">5</text>
<polygon fill="none" stroke="#000000" points="3027.5,-2697 3027.5,-2733 3157.5,-2733 3157.5,-2697 3027.5,-2697"/>
<text text-anchor="start" x="3030.5" y="-2718.8" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_5)</text>
<text text-anchor="start" x="3030.5" y="-2703.8" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_4)</text>
<polygon fill="none" stroke="#000000" points="3027.5,-2676 3027.5,-2697 3157.5,-2697 3157.5,-2676 3027.5,-2676"/>
<text text-anchor="start" x="3030.5" y="-2682.8" font-family="monospace" font-size="14.00" fill="#000000">goto</text>
</g>
<!-- bb5&#45;&gt;bb4 -->
<g id="edge7" class="edge">
<title>bb5&#45;&gt;bb4</title>
<path fill="none" stroke="#000000" d="M3099.7045,-2671.7731C3110.26,-2608.4403 3130.1318,-2489.2091 3143.5923,-2408.4465"/>
<polygon fill="#000000" stroke="#000000" points="3147.0912,-2408.7417 3145.2829,-2398.3024 3140.1865,-2407.5909 3147.0912,-2408.7417"/>
</g>
<!-- bb6 -->
<g id="node7" class="node">
<title>bb6</title>
<polygon fill="#c0c0c0" stroke="transparent" points="2937.5,-2870 2937.5,-2891 3076.5,-2891 3076.5,-2870 2937.5,-2870"/>
<polygon fill="none" stroke="#000000" points="2937.5,-2870 2937.5,-2891 3076.5,-2891 3076.5,-2870 2937.5,-2870"/>
<text text-anchor="start" x="3002.5" y="-2876.8" font-family="monospace" font-size="14.00" fill="#000000">6</text>
<polygon fill="none" stroke="#000000" points="2937.5,-2834 2937.5,-2870 3076.5,-2870 3076.5,-2834 2937.5,-2834"/>
<text text-anchor="start" x="2940.5" y="-2855.8" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_14)</text>
<text text-anchor="start" x="2940.5" y="-2840.8" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_6)</text>
<polygon fill="none" stroke="#000000" points="2937.5,-2813 2937.5,-2834 3076.5,-2834 3076.5,-2813 2937.5,-2813"/>
<text text-anchor="start" x="2940.5" y="-2819.8" font-family="monospace" font-size="14.00" fill="#000000">goto</text>
</g>
<!-- bb6&#45;&gt;bb5 -->
<g id="edge8" class="edge">
<title>bb6&#45;&gt;bb5</title>
<path fill="none" stroke="#000000" d="M3033.7109,-2808.6523C3042.1058,-2795.2792 3051.433,-2780.4207 3060.1393,-2766.5513"/>
<polygon fill="#000000" stroke="#000000" points="3063.1137,-2768.3961 3065.4661,-2758.0657 3057.185,-2764.6744 3063.1137,-2768.3961"/>
</g>
<!-- bb7 -->
<g id="node8" class="node">
<title>bb7</title>
<polygon fill="#c0c0c0" stroke="transparent" points="2822.5,-3021.5 2822.5,-3042.5 2961.5,-3042.5 2961.5,-3021.5 2822.5,-3021.5"/>
<polygon fill="none" stroke="#000000" points="2822.5,-3021.5 2822.5,-3042.5 2961.5,-3042.5 2961.5,-3021.5 2822.5,-3021.5"/>
<text text-anchor="start" x="2887.5" y="-3028.3" font-family="monospace" font-size="14.00" fill="#000000">7</text>
<polygon fill="none" stroke="#000000" points="2822.5,-2970.5 2822.5,-3021.5 2961.5,-3021.5 2961.5,-2970.5 2822.5,-2970.5"/>
<text text-anchor="start" x="2825.5" y="-3007.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_24)</text>
<text text-anchor="start" x="2825.5" y="-2992.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_23)</text>
<text text-anchor="start" x="2825.5" y="-2977.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_15)</text>
<polygon fill="none" stroke="#000000" points="2822.5,-2949.5 2822.5,-2970.5 2961.5,-2970.5 2961.5,-2949.5 2822.5,-2949.5"/>
<text text-anchor="start" x="2825.5" y="-2956.3" font-family="monospace" font-size="14.00" fill="#000000">goto</text>
</g>
<!-- bb7&#45;&gt;bb6 -->
<g id="edge9" class="edge">
<title>bb7&#45;&gt;bb6</title>
<path fill="none" stroke="#000000" d="M2931.7214,-2945.9609C2942.7669,-2932.0821 2954.7501,-2917.0249 2965.8211,-2903.114"/>
<polygon fill="#000000" stroke="#000000" points="2968.7315,-2905.0775 2972.2201,-2895.0735 2963.2543,-2900.7185 2968.7315,-2905.0775"/>
</g>
<!-- bb8&#45;&gt;bb7 -->
<g id="edge10" class="edge">
<title>bb8&#45;&gt;bb7</title>
<path fill="none" stroke="#000000" d="M2572.9729,-3336.7844C2640.8528,-3264.2679 2765.3316,-3131.2864 2836.9264,-3054.8013"/>
<polygon fill="#000000" stroke="#000000" points="2839.8326,-3056.8182 2844.1112,-3047.1257 2834.7222,-3052.0345 2839.8326,-3056.8182"/>
</g>
<!-- bb9&#45;&gt;bb6 -->
<g id="edge12" class="edge">
<title>bb9&#45;&gt;bb6</title>
<path fill="none" stroke="#000000" d="M3076.7057,-3097.5357C3062.8428,-3081.815 3050.306,-3064.8694 3040.5,-3047 3016.4957,-3003.2572 3008.7833,-2946.4058 3006.6039,-2905.3866"/>
<polygon fill="#000000" stroke="#000000" points="3010.0972,-2905.1538 3006.1625,-2895.3167 3003.1039,-2905.4604 3010.0972,-2905.1538"/>
<text text-anchor="middle" x="3065.5" y="-2992.8" font-family="monospace" font-size="14.00" fill="#000000">unwind</text>
</g>
<!-- bb11 -->
<g id="node12" class="node">
<title>bb11</title>
<polygon fill="#c0c0c0" stroke="transparent" points="3107.5,-3014.5 3107.5,-3035.5 3328.5,-3035.5 3328.5,-3014.5 3107.5,-3014.5"/>
<polygon fill="none" stroke="#000000" points="3107.5,-3014.5 3107.5,-3035.5 3328.5,-3035.5 3328.5,-3014.5 3107.5,-3014.5"/>
<text text-anchor="start" x="3209.5" y="-3021.3" font-family="monospace" font-size="14.00" fill="#000000">11</text>
<polygon fill="none" stroke="#000000" points="3107.5,-2978.5 3107.5,-3014.5 3328.5,-3014.5 3328.5,-2978.5 3107.5,-2978.5"/>
<text text-anchor="start" x="3110.5" y="-3000.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_14)</text>
<text text-anchor="start" x="3110.5" y="-2985.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_6)</text>
<polygon fill="none" stroke="#000000" points="3107.5,-2957.5 3107.5,-2978.5 3328.5,-2978.5 3328.5,-2957.5 3107.5,-2957.5"/>
<text text-anchor="start" x="3110.5" y="-2964.3" font-family="monospace" font-size="14.00" fill="#000000">_4 = const format(move _5)</text>
</g>
<!-- bb9&#45;&gt;bb11 -->
<g id="edge11" class="edge">
<title>bb9&#45;&gt;bb11</title>
<path fill="none" stroke="#000000" d="M3217.5,-3097.8431C3217.5,-3081.2008 3217.5,-3064.7119 3217.5,-3050.0214"/>
<polygon fill="#000000" stroke="#000000" points="3221.0001,-3049.6659 3217.5,-3039.6659 3214.0001,-3049.6659 3221.0001,-3049.6659"/>
<text text-anchor="middle" x="3242.5" y="-3068.8" font-family="monospace" font-size="14.00" fill="#000000">return</text>
</g>
<!-- bb10&#45;&gt;bb7 -->
<g id="edge13" class="edge">
<title>bb10&#45;&gt;bb7</title>
<path fill="none" stroke="#000000" d="M2891.5,-3150.2897C2891.5,-3121.3419 2891.5,-3086.3801 2891.5,-3057.1105"/>
<polygon fill="#000000" stroke="#000000" points="2895.0001,-3057.0141 2891.5,-3047.0141 2888.0001,-3057.0142 2895.0001,-3057.0141"/>
</g>
<!-- bb11&#45;&gt;bb5 -->
<g id="edge15" class="edge">
<title>bb11&#45;&gt;bb5</title>
<path fill="none" stroke="#000000" d="M3171.2507,-2953.1607C3155.8227,-2936.3771 3139.9259,-2916.1226 3129.5,-2895 3109.8165,-2855.1217 3100.5986,-2805.3033 3096.285,-2768.1933"/>
<polygon fill="#000000" stroke="#000000" points="3099.7466,-2767.6488 3095.1937,-2758.0822 3092.787,-2768.4 3099.7466,-2767.6488"/>
<text text-anchor="middle" x="3154.5" y="-2848.3" font-family="monospace" font-size="14.00" fill="#000000">unwind</text>
</g>
<!-- bb12 -->
<g id="node13" class="node">
<title>bb12</title>
<polygon fill="#c0c0c0" stroke="transparent" points="3196.5,-2862 3196.5,-2883 3392.5,-2883 3392.5,-2862 3196.5,-2862"/>
<polygon fill="none" stroke="#000000" points="3196.5,-2862 3196.5,-2883 3392.5,-2883 3392.5,-2862 3196.5,-2862"/>
<text text-anchor="start" x="3286" y="-2868.8" font-family="monospace" font-size="14.00" fill="#000000">12</text>
<polygon fill="none" stroke="#000000" points="3196.5,-2841 3196.5,-2862 3392.5,-2862 3392.5,-2841 3196.5,-2841"/>
<text text-anchor="start" x="3199.5" y="-2847.8" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_5)</text>
<polygon fill="none" stroke="#000000" points="3196.5,-2820 3196.5,-2841 3392.5,-2841 3392.5,-2820 3196.5,-2820"/>
<text text-anchor="start" x="3199.5" y="-2826.8" font-family="monospace" font-size="14.00" fill="#000000">_3 = const foo(move _4)</text>
</g>
<!-- bb11&#45;&gt;bb12 -->
<g id="edge14" class="edge">
<title>bb11&#45;&gt;bb12</title>
<path fill="none" stroke="#000000" d="M3240.6025,-2953.1452C3250.1087,-2935.3057 3261.1144,-2914.6522 3270.6926,-2896.6775"/>
<polygon fill="#000000" stroke="#000000" points="3273.9419,-2898.0223 3275.5558,-2887.5511 3267.7642,-2894.7304 3273.9419,-2898.0223"/>
<text text-anchor="middle" x="3285.5" y="-2916.8" font-family="monospace" font-size="14.00" fill="#000000">return</text>
</g>
<!-- bb13 -->
<g id="node14" class="node">
<title>bb13</title>
<polygon fill="#c0c0c0" stroke="transparent" points="3299.5,-2715 3299.5,-2736 3372.5,-2736 3372.5,-2715 3299.5,-2715"/>
<polygon fill="none" stroke="#000000" points="3299.5,-2715 3299.5,-2736 3372.5,-2736 3372.5,-2715 3299.5,-2715"/>
<text text-anchor="start" x="3327.5" y="-2721.8" font-family="monospace" font-size="14.00" fill="#000000">13</text>
<polygon fill="none" stroke="#000000" points="3299.5,-2694 3299.5,-2715 3372.5,-2715 3372.5,-2694 3299.5,-2694"/>
<text text-anchor="start" x="3302.5" y="-2700.8" font-family="monospace" font-size="14.00" fill="#000000">drop(_4)</text>
</g>
<!-- bb12&#45;&gt;bb13 -->
<g id="edge16" class="edge">
<title>bb12&#45;&gt;bb13</title>
<path fill="none" stroke="#000000" d="M3305.1652,-2816.3625C3311.2951,-2795.8798 3318.9624,-2770.2597 3325.0549,-2749.9019"/>
<polygon fill="#000000" stroke="#000000" points="3328.4789,-2750.668 3327.993,-2740.0843 3321.7728,-2748.661 3328.4789,-2750.668"/>
<text text-anchor="middle" x="3340.5" y="-2779.8" font-family="monospace" font-size="14.00" fill="#000000">return</text>
</g>
<!-- bb15 -->
<g id="node16" class="node">
<title>bb15</title>
<polygon fill="#c0c0c0" stroke="transparent" points="3192.5,-2715 3192.5,-2736 3265.5,-2736 3265.5,-2715 3192.5,-2715"/>
<polygon fill="none" stroke="#000000" points="3192.5,-2715 3192.5,-2736 3265.5,-2736 3265.5,-2715 3192.5,-2715"/>
<text text-anchor="start" x="3220.5" y="-2721.8" font-family="monospace" font-size="14.00" fill="#000000">15</text>
<polygon fill="none" stroke="#000000" points="3192.5,-2694 3192.5,-2715 3265.5,-2715 3265.5,-2694 3192.5,-2694"/>
<text text-anchor="start" x="3195.5" y="-2700.8" font-family="monospace" font-size="14.00" fill="#000000">drop(_4)</text>
</g>
<!-- bb12&#45;&gt;bb15 -->
<g id="edge17" class="edge">
<title>bb12&#45;&gt;bb15</title>
<path fill="none" stroke="#000000" d="M3272.9597,-2816.3045C3268.3088,-2808.1029 3263.5704,-2799.339 3259.5,-2791 3253.0246,-2777.7341 3246.7136,-2762.7594 3241.4943,-2749.6313"/>
<polygon fill="#000000" stroke="#000000" points="3244.6336,-2748.0489 3237.7312,-2740.011 3238.1146,-2750.5989 3244.6336,-2748.0489"/>
<text text-anchor="middle" x="3284.5" y="-2779.8" font-family="monospace" font-size="14.00" fill="#000000">unwind</text>
</g>
<!-- bb18 -->
<g id="node19" class="node">
<title>bb18</title>
<polygon fill="#c0c0c0" stroke="transparent" points="3243.5,-2461.5 3243.5,-2482.5 3373.5,-2482.5 3373.5,-2461.5 3243.5,-2461.5"/>
<polygon fill="none" stroke="#000000" points="3243.5,-2461.5 3243.5,-2482.5 3373.5,-2482.5 3373.5,-2461.5 3243.5,-2461.5"/>
<text text-anchor="start" x="3300" y="-2468.3" font-family="monospace" font-size="14.00" fill="#000000">18</text>
<polygon fill="none" stroke="#000000" points="3243.5,-2440.5 3243.5,-2461.5 3373.5,-2461.5 3373.5,-2440.5 3243.5,-2440.5"/>
<text text-anchor="start" x="3246.5" y="-2447.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_4)</text>
<polygon fill="none" stroke="#000000" points="3243.5,-2419.5 3243.5,-2440.5 3373.5,-2440.5 3373.5,-2419.5 3243.5,-2419.5"/>
<text text-anchor="start" x="3246.5" y="-2426.3" font-family="monospace" font-size="14.00" fill="#000000">goto</text>
</g>
<!-- bb13&#45;&gt;bb18 -->
<g id="edge19" class="edge">
<title>bb13&#45;&gt;bb18</title>
<path fill="none" stroke="#000000" d="M3332.9111,-2689.7345C3328.3634,-2645.3516 3318.8814,-2552.8144 3313.1658,-2497.0344"/>
<polygon fill="#000000" stroke="#000000" points="3316.6456,-2496.6579 3312.1444,-2487.0667 3309.6821,-2497.3714 3316.6456,-2496.6579"/>
<text text-anchor="middle" x="3353.5" y="-2642.8" font-family="monospace" font-size="14.00" fill="#000000">unwind</text>
</g>
<!-- bb19 -->
<g id="node20" class="node">
<title>bb19</title>
<polygon fill="#c0c0c0" stroke="transparent" points="3491.5,-2596 3491.5,-2617 3737.5,-2617 3737.5,-2596 3491.5,-2596"/>
<polygon fill="none" stroke="#000000" points="3491.5,-2596 3491.5,-2617 3737.5,-2617 3737.5,-2596 3491.5,-2596"/>
<text text-anchor="start" x="3606" y="-2602.8" font-family="monospace" font-size="14.00" fill="#000000">19</text>
<polygon fill="none" stroke="#000000" points="3491.5,-2530 3491.5,-2596 3737.5,-2596 3737.5,-2530 3491.5,-2530"/>
<text text-anchor="start" x="3494.5" y="-2581.8" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_4)</text>
<text text-anchor="start" x="3494.5" y="-2566.8" font-family="monospace" font-size="14.00" fill="#000000">FakeRead(ForMatchedPlace, _3)</text>
<text text-anchor="start" x="3494.5" y="-2551.8" font-family="monospace" font-size="14.00" fill="#000000">StorageLive(_31)</text>
<text text-anchor="start" x="3494.5" y="-2536.8" font-family="monospace" font-size="14.00" fill="#000000">_31 = move _3</text>
<polygon fill="none" stroke="#000000" points="3491.5,-2509 3491.5,-2530 3737.5,-2530 3737.5,-2509 3491.5,-2509"/>
<text text-anchor="start" x="3494.5" y="-2515.8" font-family="monospace" font-size="14.00" fill="#000000">goto</text>
</g>
<!-- bb13&#45;&gt;bb19 -->
<g id="edge18" class="edge">
<title>bb13&#45;&gt;bb19</title>
<path fill="none" stroke="#000000" d="M3380.0169,-2690.7471C3412.1182,-2673.2582 3456.9988,-2648.8071 3498.9112,-2625.9731"/>
<polygon fill="#000000" stroke="#000000" points="3500.6972,-2628.9859 3507.8041,-2621.1282 3497.3483,-2622.8389 3500.6972,-2628.9859"/>
<text text-anchor="middle" x="3499.5" y="-2642.8" font-family="monospace" font-size="14.00" fill="#000000">return</text>
</g>
<!-- bb14 -->
<g id="node15" class="node">
<title>bb14</title>
<polygon fill="#c0c0c0" stroke="transparent" points="3154.5,-2573 3154.5,-2594 3284.5,-2594 3284.5,-2573 3154.5,-2573"/>
<polygon fill="none" stroke="#000000" points="3154.5,-2573 3154.5,-2594 3284.5,-2594 3284.5,-2573 3154.5,-2573"/>
<text text-anchor="start" x="3211" y="-2579.8" font-family="monospace" font-size="14.00" fill="#000000">14</text>
<polygon fill="none" stroke="#000000" points="3154.5,-2552 3154.5,-2573 3284.5,-2573 3284.5,-2552 3154.5,-2552"/>
<text text-anchor="start" x="3157.5" y="-2558.8" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_4)</text>
<polygon fill="none" stroke="#000000" points="3154.5,-2531 3154.5,-2552 3284.5,-2552 3284.5,-2531 3154.5,-2531"/>
<text text-anchor="start" x="3157.5" y="-2537.8" font-family="monospace" font-size="14.00" fill="#000000">goto</text>
</g>
<!-- bb14&#45;&gt;bb4 -->
<g id="edge20" class="edge">
<title>bb14&#45;&gt;bb4</title>
<path fill="none" stroke="#000000" d="M3210.218,-2527.369C3202.0242,-2495.9155 3189.7624,-2448.846 3179.1259,-2408.0155"/>
<polygon fill="#000000" stroke="#000000" points="3182.5099,-2407.1217 3176.602,-2398.327 3175.736,-2408.8864 3182.5099,-2407.1217"/>
</g>
<!-- bb15&#45;&gt;bb14 -->
<g id="edge21" class="edge">
<title>bb15&#45;&gt;bb14</title>
<path fill="none" stroke="#000000" d="M3227.0138,-2689.9003C3225.7136,-2667.9406 3223.7921,-2635.4881 3222.2177,-2608.8987"/>
<polygon fill="#000000" stroke="#000000" points="3225.6964,-2608.4339 3221.6113,-2598.6582 3218.7086,-2608.8477 3225.6964,-2608.4339"/>
<text text-anchor="middle" x="3249.5" y="-2642.8" font-family="monospace" font-size="14.00" fill="#000000">return</text>
</g>
<!-- bb16 -->
<g id="node17" class="node">
<title>bb16</title>
<polygon fill="#c0c0c0" stroke="transparent" points="3334.5,-1064.5 3334.5,-1085.5 3473.5,-1085.5 3473.5,-1064.5 3334.5,-1064.5"/>
<polygon fill="none" stroke="#000000" points="3334.5,-1064.5 3334.5,-1085.5 3473.5,-1085.5 3473.5,-1064.5 3334.5,-1064.5"/>
<text text-anchor="start" x="3395.5" y="-1071.3" font-family="monospace" font-size="14.00" fill="#000000">16</text>
<polygon fill="none" stroke="#000000" points="3334.5,-968.5 3334.5,-1064.5 3473.5,-1064.5 3473.5,-968.5 3334.5,-968.5"/>
<text text-anchor="start" x="3337.5" y="-1050.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_18)</text>
<text text-anchor="start" x="3337.5" y="-1035.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_17)</text>
<text text-anchor="start" x="3337.5" y="-1020.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_16)</text>
<text text-anchor="start" x="3337.5" y="-1005.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_8)</text>
<text text-anchor="start" x="3337.5" y="-990.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_3)</text>
<text text-anchor="start" x="3337.5" y="-975.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_2)</text>
<polygon fill="none" stroke="#000000" points="3334.5,-947.5 3334.5,-968.5 3473.5,-968.5 3473.5,-947.5 3334.5,-947.5"/>
<text text-anchor="start" x="3337.5" y="-954.3" font-family="monospace" font-size="14.00" fill="#000000">goto</text>
</g>
<!-- bb16&#45;&gt;bb3 -->
<g id="edge22" class="edge">
<title>bb16&#45;&gt;bb3</title>
<path fill="none" stroke="#000000" d="M3403.5,-943.2484C3403.5,-910.6121 3403.5,-873.679 3403.5,-847.3244"/>
<polygon fill="#000000" stroke="#000000" points="3407.0001,-847.0725 3403.5,-837.0725 3400.0001,-847.0725 3407.0001,-847.0725"/>
</g>
<!-- bb17 -->
<g id="node18" class="node">
<title>bb17</title>
<polygon fill="#c0c0c0" stroke="transparent" points="3367.5,-1191 3367.5,-1212 3440.5,-1212 3440.5,-1191 3367.5,-1191"/>
<polygon fill="none" stroke="#000000" points="3367.5,-1191 3367.5,-1212 3440.5,-1212 3440.5,-1191 3367.5,-1191"/>
<text text-anchor="start" x="3395.5" y="-1197.8" font-family="monospace" font-size="14.00" fill="#000000">17</text>
<polygon fill="none" stroke="#000000" points="3367.5,-1170 3367.5,-1191 3440.5,-1191 3440.5,-1170 3367.5,-1170"/>
<text text-anchor="start" x="3370.5" y="-1176.8" font-family="monospace" font-size="14.00" fill="#000000">drop(_3)</text>
</g>
<!-- bb17&#45;&gt;bb16 -->
<g id="edge23" class="edge">
<title>bb17&#45;&gt;bb16</title>
<path fill="none" stroke="#000000" d="M3403.5,-1165.9984C3403.5,-1148.5169 3403.5,-1124.0788 3403.5,-1100.0196"/>
<polygon fill="#000000" stroke="#000000" points="3407.0001,-1099.7531 3403.5,-1089.7531 3400.0001,-1099.7532 3407.0001,-1099.7531"/>
<text text-anchor="middle" x="3428.5" y="-1118.8" font-family="monospace" font-size="14.00" fill="#000000">return</text>
</g>
<!-- bb18&#45;&gt;bb17 -->
<g id="edge24" class="edge">
<title>bb18&#45;&gt;bb17</title>
<path fill="none" stroke="#000000" d="M3296.7943,-2415.7C3283.461,-2371.6736 3263.5,-2294.4205 3263.5,-2226.5 3263.5,-2226.5 3263.5,-2226.5 3263.5,-1329 3263.5,-1278.3923 3310.4725,-1240.1111 3350.0009,-1216.8561"/>
<polygon fill="#000000" stroke="#000000" points="3351.8578,-1219.8265 3358.8182,-1211.8388 3348.3958,-1213.7425 3351.8578,-1219.8265"/>
</g>
<!-- bb20 -->
<g id="node21" class="node">
<title>bb20</title>
<polygon fill="#c0c0c0" stroke="transparent" points="3614.5,-2325 3614.5,-2346 3711.5,-2346 3711.5,-2325 3614.5,-2325"/>
<polygon fill="none" stroke="#000000" points="3614.5,-2325 3614.5,-2346 3711.5,-2346 3711.5,-2325 3614.5,-2325"/>
<text text-anchor="start" x="3654.5" y="-2331.8" font-family="monospace" font-size="14.00" fill="#000000">20</text>
<polygon fill="none" stroke="#000000" points="3614.5,-2304 3614.5,-2325 3711.5,-2325 3711.5,-2304 3614.5,-2304"/>
<text text-anchor="start" x="3617.5" y="-2310.8" font-family="monospace" font-size="14.00" fill="#000000">falseUnwind</text>
</g>
<!-- bb19&#45;&gt;bb20 -->
<g id="edge25" class="edge">
<title>bb19&#45;&gt;bb20</title>
<path fill="none" stroke="#000000" d="M3626.2421,-2504.7787C3635.3751,-2459.4943 3647.7454,-2398.1584 3655.4192,-2360.109"/>
<polygon fill="#000000" stroke="#000000" points="3658.9063,-2360.5219 3657.4525,-2350.0273 3652.0445,-2359.138 3658.9063,-2360.5219"/>
</g>
<!-- bb21 -->
<g id="node22" class="node">
<title>bb21</title>
<polygon fill="#c0c0c0" stroke="transparent" points="3398.5,-2175.5 3398.5,-2196.5 4089.5,-2196.5 4089.5,-2175.5 3398.5,-2175.5"/>
<polygon fill="none" stroke="#000000" points="3398.5,-2175.5 3398.5,-2196.5 4089.5,-2196.5 4089.5,-2175.5 3398.5,-2175.5"/>
<text text-anchor="start" x="3735.5" y="-2182.3" font-family="monospace" font-size="14.00" fill="#000000">21</text>
<polygon fill="none" stroke="#000000" points="3398.5,-2064.5 3398.5,-2175.5 4089.5,-2175.5 4089.5,-2064.5 3398.5,-2064.5"/>
<text text-anchor="start" x="3401.5" y="-2161.3" font-family="monospace" font-size="14.00" fill="#000000">StorageLive(_33)</text>
<text text-anchor="start" x="3401.5" y="-2146.3" font-family="monospace" font-size="14.00" fill="#000000">StorageLive(_34)</text>
<text text-anchor="start" x="3401.5" y="-2131.3" font-family="monospace" font-size="14.00" fill="#000000">StorageLive(_35)</text>
<text text-anchor="start" x="3401.5" y="-2116.3" font-family="monospace" font-size="14.00" fill="#000000">StorageLive(_36)</text>
<text text-anchor="start" x="3401.5" y="-2101.3" font-family="monospace" font-size="14.00" fill="#000000">StorageLive(_37)</text>
<text text-anchor="start" x="3401.5" y="-2086.3" font-family="monospace" font-size="14.00" fill="#000000">_37 = &amp;mut _31</text>
<text text-anchor="start" x="3401.5" y="-2071.3" font-family="monospace" font-size="14.00" fill="#000000">_36 = &amp;mut (*_37)</text>
<polygon fill="none" stroke="#000000" points="3398.5,-2043.5 3398.5,-2064.5 4089.5,-2064.5 4089.5,-2043.5 3398.5,-2043.5"/>
<text text-anchor="start" x="3401.5" y="-2050.3" font-family="monospace" font-size="14.00" fill="#000000">_35 = const std::pin::Pin::&lt;&amp;mut impl std::future::Future&gt;::new_unchecked(move _36)</text>
</g>
<!-- bb20&#45;&gt;bb21 -->
<g id="edge26" class="edge">
<title>bb20&#45;&gt;bb21</title>
<path fill="none" stroke="#000000" d="M3672.4322,-2299.9243C3681.314,-2277.5005 3694.885,-2243.2378 3707.7965,-2210.6403"/>
<polygon fill="#000000" stroke="#000000" points="3711.1671,-2211.6348 3711.5957,-2201.0486 3704.659,-2209.057 3711.1671,-2211.6348"/>
<text text-anchor="middle" x="3719.5" y="-2222.8" font-family="monospace" font-size="14.00" fill="#000000">real</text>
</g>
<!-- bb23 -->
<g id="node24" class="node">
<title>bb23</title>
<polygon fill="#c0c0c0" stroke="transparent" points="3362.5,-1675 3362.5,-1696 3443.5,-1696 3443.5,-1675 3362.5,-1675"/>
<polygon fill="none" stroke="#000000" points="3362.5,-1675 3362.5,-1696 3443.5,-1696 3443.5,-1675 3362.5,-1675"/>
<text text-anchor="start" x="3394.5" y="-1681.8" font-family="monospace" font-size="14.00" fill="#000000">23</text>
<polygon fill="none" stroke="#000000" points="3362.5,-1654 3362.5,-1675 3443.5,-1675 3443.5,-1654 3362.5,-1654"/>
<text text-anchor="start" x="3365.5" y="-1660.8" font-family="monospace" font-size="14.00" fill="#000000">drop(_31)</text>
</g>
<!-- bb20&#45;&gt;bb23 -->
<g id="edge27" class="edge">
<title>bb20&#45;&gt;bb23</title>
<path fill="none" stroke="#000000" d="M3605.7844,-2318.3069C3505.9995,-2303.0318 3309.5,-2255.7775 3309.5,-2120.5 3309.5,-2120.5 3309.5,-2120.5 3309.5,-1809 3309.5,-1768.7932 3338.1078,-1731.9661 3363.5901,-1707.1378"/>
<polygon fill="#000000" stroke="#000000" points="3366.1352,-1709.5487 3371.0144,-1700.1442 3361.3354,-1704.4533 3366.1352,-1709.5487"/>
<text text-anchor="middle" x="3338.5" y="-1949.8" font-family="monospace" font-size="14.00" fill="#000000">cleanup</text>
</g>
<!-- bb24 -->
<g id="node25" class="node">
<title>bb24</title>
<polygon fill="#c0c0c0" stroke="transparent" points="3393.5,-1963.5 3393.5,-1984.5 4093.5,-1984.5 4093.5,-1963.5 3393.5,-1963.5"/>
<polygon fill="none" stroke="#000000" points="3393.5,-1963.5 3393.5,-1984.5 4093.5,-1984.5 4093.5,-1963.5 3393.5,-1963.5"/>
<text text-anchor="start" x="3735" y="-1970.3" font-family="monospace" font-size="14.00" fill="#000000">24</text>
<polygon fill="none" stroke="#000000" points="3393.5,-1942.5 3393.5,-1963.5 4093.5,-1963.5 4093.5,-1942.5 3393.5,-1942.5"/>
<text text-anchor="start" x="3396.5" y="-1949.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_36)</text>
<polygon fill="none" stroke="#000000" points="3393.5,-1921.5 3393.5,-1942.5 4093.5,-1942.5 4093.5,-1921.5 3393.5,-1921.5"/>
<text text-anchor="start" x="3396.5" y="-1928.3" font-family="monospace" font-size="14.00" fill="#000000">_34 = const std::future::poll_with_tls_context::&lt;impl std::future::Future&gt;(move _35)</text>
</g>
<!-- bb21&#45;&gt;bb24 -->
<g id="edge28" class="edge">
<title>bb21&#45;&gt;bb24</title>
<path fill="none" stroke="#000000" d="M3743.5,-2039.935C3743.5,-2025.9902 3743.5,-2011.9361 3743.5,-1999.331"/>
<polygon fill="#000000" stroke="#000000" points="3747.0001,-1999.1176 3743.5,-1989.1177 3740.0001,-1999.1177 3747.0001,-1999.1176"/>
<text text-anchor="middle" x="3768.5" y="-2010.8" font-family="monospace" font-size="14.00" fill="#000000">return</text>
</g>
<!-- bb26 -->
<g id="node27" class="node">
<title>bb26</title>
<polygon fill="#c0c0c0" stroke="transparent" points="4128.5,-1963.5 4128.5,-1984.5 4267.5,-1984.5 4267.5,-1963.5 4128.5,-1963.5"/>
<polygon fill="none" stroke="#000000" points="4128.5,-1963.5 4128.5,-1984.5 4267.5,-1984.5 4267.5,-1963.5 4128.5,-1963.5"/>
<text text-anchor="start" x="4189.5" y="-1970.3" font-family="monospace" font-size="14.00" fill="#000000">26</text>
<polygon fill="none" stroke="#000000" points="4128.5,-1942.5 4128.5,-1963.5 4267.5,-1963.5 4267.5,-1942.5 4128.5,-1942.5"/>
<text text-anchor="start" x="4131.5" y="-1949.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_36)</text>
<polygon fill="none" stroke="#000000" points="4128.5,-1921.5 4128.5,-1942.5 4267.5,-1942.5 4267.5,-1921.5 4128.5,-1921.5"/>
<text text-anchor="start" x="4131.5" y="-1928.3" font-family="monospace" font-size="14.00" fill="#000000">goto</text>
</g>
<!-- bb21&#45;&gt;bb26 -->
<g id="edge29" class="edge">
<title>bb21&#45;&gt;bb26</title>
<path fill="none" stroke="#000000" d="M3973.1187,-2039.9532C4016.0936,-2024.4207 4060.6976,-2007.9926 4110.4313,-1988.9878"/>
<polygon fill="#000000" stroke="#000000" points="4111.6909,-1992.2534 4119.7782,-1985.4089 4109.1878,-1985.7162 4111.6909,-1992.2534"/>
<text text-anchor="middle" x="4085.5" y="-2010.8" font-family="monospace" font-size="14.00" fill="#000000">unwind</text>
</g>
<!-- bb22 -->
<g id="node23" class="node">
<title>bb22</title>
<polygon fill="#c0c0c0" stroke="transparent" points="3334.5,-1339 3334.5,-1360 3473.5,-1360 3473.5,-1339 3334.5,-1339"/>
<polygon fill="none" stroke="#000000" points="3334.5,-1339 3334.5,-1360 3473.5,-1360 3473.5,-1339 3334.5,-1339"/>
<text text-anchor="start" x="3395.5" y="-1345.8" font-family="monospace" font-size="14.00" fill="#000000">22</text>
<polygon fill="none" stroke="#000000" points="3334.5,-1318 3334.5,-1339 3473.5,-1339 3473.5,-1318 3334.5,-1318"/>
<text text-anchor="start" x="3337.5" y="-1324.8" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_31)</text>
<polygon fill="none" stroke="#000000" points="3334.5,-1297 3334.5,-1318 3473.5,-1318 3473.5,-1297 3334.5,-1297"/>
<text text-anchor="start" x="3337.5" y="-1303.8" font-family="monospace" font-size="14.00" fill="#000000">goto</text>
</g>
<!-- bb22&#45;&gt;bb17 -->
<g id="edge30" class="edge">
<title>bb22&#45;&gt;bb17</title>
<path fill="none" stroke="#000000" d="M3403.5,-1293.4616C3403.5,-1272.9238 3403.5,-1247.1673 3403.5,-1226.6164"/>
<polygon fill="#000000" stroke="#000000" points="3407.0001,-1226.3992 3403.5,-1216.3992 3400.0001,-1226.3993 3407.0001,-1226.3992"/>
</g>
<!-- bb23&#45;&gt;bb22 -->
<g id="edge31" class="edge">
<title>bb23&#45;&gt;bb22</title>
<path fill="none" stroke="#000000" d="M3402.5727,-1649.8378C3402.7398,-1592.0323 3403.153,-1449.0498 3403.3669,-1375.0386"/>
<polygon fill="#000000" stroke="#000000" points="3406.868,-1374.6479 3403.397,-1364.6378 3399.868,-1374.6276 3406.868,-1374.6479"/>
<text text-anchor="middle" x="3427.5" y="-1514.8" font-family="monospace" font-size="14.00" fill="#000000">return</text>
</g>
<!-- bb25 -->
<g id="node26" class="node">
<title>bb25</title>
<polygon fill="#c0c0c0" stroke="transparent" points="3568.5,-1842 3568.5,-1863 3707.5,-1863 3707.5,-1842 3568.5,-1842"/>
<polygon fill="none" stroke="#000000" points="3568.5,-1842 3568.5,-1863 3707.5,-1863 3707.5,-1842 3568.5,-1842"/>
<text text-anchor="start" x="3629.5" y="-1848.8" font-family="monospace" font-size="14.00" fill="#000000">25</text>
<polygon fill="none" stroke="#000000" points="3568.5,-1776 3568.5,-1842 3707.5,-1842 3707.5,-1776 3568.5,-1776"/>
<text text-anchor="start" x="3571.5" y="-1827.8" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_35)</text>
<text text-anchor="start" x="3571.5" y="-1812.8" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_37)</text>
<text text-anchor="start" x="3571.5" y="-1797.8" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_34)</text>
<text text-anchor="start" x="3571.5" y="-1782.8" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_33)</text>
<polygon fill="none" stroke="#000000" points="3568.5,-1755 3568.5,-1776 3707.5,-1776 3707.5,-1755 3568.5,-1755"/>
<text text-anchor="start" x="3571.5" y="-1761.8" font-family="monospace" font-size="14.00" fill="#000000">goto</text>
</g>
<!-- bb24&#45;&gt;bb25 -->
<g id="edge33" class="edge">
<title>bb24&#45;&gt;bb25</title>
<path fill="none" stroke="#000000" d="M3692.1243,-1917.8868C3686.0545,-1912.3456 3680.3173,-1906.3385 3675.5,-1900 3670.0224,-1892.7927 3665.1864,-1884.6806 3660.9607,-1876.3448"/>
<polygon fill="#000000" stroke="#000000" points="3664.082,-1874.7589 3656.6134,-1867.2442 3657.7657,-1877.7762 3664.082,-1874.7589"/>
<text text-anchor="middle" x="3700.5" y="-1888.8" font-family="monospace" font-size="14.00" fill="#000000">unwind</text>
</g>
<!-- bb27 -->
<g id="node28" class="node">
<title>bb27</title>
<polygon fill="#c0c0c0" stroke="transparent" points="3741.5,-1834 3741.5,-1855 3995.5,-1855 3995.5,-1834 3741.5,-1834"/>
<polygon fill="none" stroke="#000000" points="3741.5,-1834 3741.5,-1855 3995.5,-1855 3995.5,-1834 3741.5,-1834"/>
<text text-anchor="start" x="3860" y="-1840.8" font-family="monospace" font-size="14.00" fill="#000000">27</text>
<polygon fill="none" stroke="#000000" points="3741.5,-1783 3741.5,-1834 3995.5,-1834 3995.5,-1783 3741.5,-1783"/>
<text text-anchor="start" x="3744.5" y="-1819.8" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_35)</text>
<text text-anchor="start" x="3744.5" y="-1804.8" font-family="monospace" font-size="14.00" fill="#000000">FakeRead(ForMatchedPlace, _34)</text>
<text text-anchor="start" x="3744.5" y="-1789.8" font-family="monospace" font-size="14.00" fill="#000000">_38 = discriminant(_34)</text>
<polygon fill="none" stroke="#000000" points="3741.5,-1762 3741.5,-1783 3995.5,-1783 3995.5,-1762 3741.5,-1762"/>
<text text-anchor="start" x="3744.5" y="-1768.8" font-family="monospace" font-size="14.00" fill="#000000">switchInt(move _38)</text>
</g>
<!-- bb24&#45;&gt;bb27 -->
<g id="edge32" class="edge">
<title>bb24&#45;&gt;bb27</title>
<path fill="none" stroke="#000000" d="M3774.3989,-1917.7809C3787.5649,-1902.561 3803.2697,-1884.4062 3818.0418,-1867.3296"/>
<polygon fill="#000000" stroke="#000000" points="3820.8556,-1869.4268 3824.7509,-1859.574 3815.5615,-1864.8471 3820.8556,-1869.4268"/>
<text text-anchor="middle" x="3826.5" y="-1888.8" font-family="monospace" font-size="14.00" fill="#000000">return</text>
</g>
<!-- bb25&#45;&gt;bb23 -->
<g id="edge34" class="edge">
<title>bb25&#45;&gt;bb23</title>
<path fill="none" stroke="#000000" d="M3559.9009,-1764.752C3525.587,-1745.1858 3486.1214,-1722.682 3455.2921,-1705.1028"/>
<polygon fill="#000000" stroke="#000000" points="3456.8489,-1701.9614 3446.4282,-1700.0484 3453.3815,-1708.0423 3456.8489,-1701.9614"/>
</g>
<!-- bb26&#45;&gt;bb25 -->
<g id="edge35" class="edge">
<title>bb26&#45;&gt;bb25</title>
<path fill="none" stroke="#000000" d="M4119.6414,-1920.3082C4116.578,-1919.4561 4113.5238,-1918.6808 4110.5,-1918 3969.8002,-1886.3209 3925.4078,-1938.7894 3786.5,-1900 3764.7567,-1893.9283 3743.0535,-1883.6871 3723.2074,-1872.2165"/>
<polygon fill="#000000" stroke="#000000" points="3724.9087,-1869.1561 3714.5247,-1867.0529 3721.3307,-1875.1726 3724.9087,-1869.1561"/>
</g>
<!-- bb28 -->
<g id="node29" class="node">
<title>bb28</title>
<polygon fill="#c0c0c0" stroke="transparent" points="3734.5,-1675 3734.5,-1696 3823.5,-1696 3823.5,-1675 3734.5,-1675"/>
<polygon fill="none" stroke="#000000" points="3734.5,-1675 3734.5,-1696 3823.5,-1696 3823.5,-1675 3734.5,-1675"/>
<text text-anchor="start" x="3770.5" y="-1681.8" font-family="monospace" font-size="14.00" fill="#000000">28</text>
<polygon fill="none" stroke="#000000" points="3734.5,-1654 3734.5,-1675 3823.5,-1675 3823.5,-1654 3734.5,-1654"/>
<text text-anchor="start" x="3737.5" y="-1660.8" font-family="monospace" font-size="14.00" fill="#000000">falseEdges</text>
</g>
<!-- bb27&#45;&gt;bb28 -->
<g id="edge36" class="edge">
<title>bb27&#45;&gt;bb28</title>
<path fill="none" stroke="#000000" d="M3822.4142,-1758.1417C3816.0145,-1750.008 3809.82,-1741.4731 3804.5,-1733 3799.8608,-1725.6112 3795.6073,-1717.2542 3791.9436,-1709.2318"/>
<polygon fill="#000000" stroke="#000000" points="3795.14,-1707.8054 3787.926,-1700.0459 3788.7265,-1710.6104 3795.14,-1707.8054"/>
<text text-anchor="middle" x="3829.5" y="-1721.8" font-family="monospace" font-size="14.00" fill="#000000">0isize</text>
</g>
<!-- bb29 -->
<g id="node30" class="node">
<title>bb29</title>
<polygon fill="#c0c0c0" stroke="transparent" points="3758.5,-1573.5 3758.5,-1594.5 3946.5,-1594.5 3946.5,-1573.5 3758.5,-1573.5"/>
<polygon fill="none" stroke="#000000" points="3758.5,-1573.5 3758.5,-1594.5 3946.5,-1594.5 3946.5,-1573.5 3758.5,-1573.5"/>
<text text-anchor="start" x="3844" y="-1580.3" font-family="monospace" font-size="14.00" fill="#000000">29</text>
<polygon fill="none" stroke="#000000" points="3758.5,-1462.5 3758.5,-1573.5 3946.5,-1573.5 3946.5,-1462.5 3758.5,-1462.5"/>
<text text-anchor="start" x="3761.5" y="-1559.3" font-family="monospace" font-size="14.00" fill="#000000">_33 = ()</text>
<text text-anchor="start" x="3761.5" y="-1544.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_37)</text>
<text text-anchor="start" x="3761.5" y="-1529.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_34)</text>
<text text-anchor="start" x="3761.5" y="-1514.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_33)</text>
<text text-anchor="start" x="3761.5" y="-1499.3" font-family="monospace" font-size="14.00" fill="#000000">StorageLive(_41)</text>
<text text-anchor="start" x="3761.5" y="-1484.3" font-family="monospace" font-size="14.00" fill="#000000">StorageLive(_42)</text>
<text text-anchor="start" x="3761.5" y="-1469.3" font-family="monospace" font-size="14.00" fill="#000000">_42 = ()</text>
<polygon fill="none" stroke="#000000" points="3758.5,-1441.5 3758.5,-1462.5 3946.5,-1462.5 3946.5,-1441.5 3758.5,-1441.5"/>
<text text-anchor="start" x="3761.5" y="-1448.3" font-family="monospace" font-size="14.00" fill="#000000">_1 = suspend(move _42)</text>
</g>
<!-- bb27&#45;&gt;bb29 -->
<g id="edge37" class="edge">
<title>bb27&#45;&gt;bb29</title>
<path fill="none" stroke="#000000" d="M3865.713,-1758.3988C3863.4514,-1717.3368 3860.2053,-1658.3999 3857.4966,-1609.22"/>
<polygon fill="#000000" stroke="#000000" points="3860.9897,-1608.9957 3856.9449,-1599.2034 3854.0003,-1609.3808 3860.9897,-1608.9957"/>
<text text-anchor="middle" x="3886.5" y="-1671.3" font-family="monospace" font-size="14.00" fill="#000000">1isize</text>
</g>
<!-- bb30 -->
<g id="node31" class="node">
<title>bb30</title>
<polygon fill="#c0c0c0" stroke="transparent" points="4340.5,-1675 4340.5,-1696 4437.5,-1696 4437.5,-1675 4340.5,-1675"/>
<polygon fill="none" stroke="#000000" points="4340.5,-1675 4340.5,-1696 4437.5,-1696 4437.5,-1675 4340.5,-1675"/>
<text text-anchor="start" x="4380.5" y="-1681.8" font-family="monospace" font-size="14.00" fill="#000000">30</text>
<polygon fill="none" stroke="#000000" points="4340.5,-1654 4340.5,-1675 4437.5,-1675 4437.5,-1654 4340.5,-1654"/>
<text text-anchor="start" x="4343.5" y="-1660.8" font-family="monospace" font-size="14.00" fill="#000000">unreachable</text>
</g>
<!-- bb27&#45;&gt;bb30 -->
<g id="edge38" class="edge">
<title>bb27&#45;&gt;bb30</title>
<path fill="none" stroke="#000000" d="M4003.7664,-1774.1429C4106.0689,-1747.7803 4242.1364,-1712.7168 4322.0274,-1692.1295"/>
<polygon fill="#000000" stroke="#000000" points="4323.1526,-1695.4539 4331.9628,-1689.5692 4321.4058,-1688.6754 4323.1526,-1695.4539"/>
<text text-anchor="middle" x="4257" y="-1721.8" font-family="monospace" font-size="14.00" fill="#000000">otherwise</text>
</g>
<!-- bb28&#45;&gt;bb29 -->
<g id="edge40" class="edge">
<title>bb28&#45;&gt;bb29</title>
<path fill="none" stroke="#000000" d="M3775.6174,-1649.8718C3775.2632,-1639.4515 3775.9687,-1627.3938 3779.5,-1617 3780.495,-1614.0714 3781.6122,-1611.1579 3782.8346,-1608.2673"/>
<polygon fill="#000000" stroke="#000000" points="3786.0434,-1609.6672 3787.0753,-1599.1227 3779.693,-1606.7222 3786.0434,-1609.6672"/>
<text text-anchor="middle" x="3817" y="-1620.8" font-family="monospace" font-size="14.00" fill="#000000">imaginary</text>
</g>
<!-- bb31 -->
<g id="node32" class="node">
<title>bb31</title>
<polygon fill="#c0c0c0" stroke="transparent" points="3478.5,-1573.5 3478.5,-1594.5 3716.5,-1594.5 3716.5,-1573.5 3478.5,-1573.5"/>
<polygon fill="none" stroke="#000000" points="3478.5,-1573.5 3478.5,-1594.5 3716.5,-1594.5 3716.5,-1573.5 3478.5,-1573.5"/>
<text text-anchor="start" x="3589" y="-1580.3" font-family="monospace" font-size="14.00" fill="#000000">31</text>
<polygon fill="none" stroke="#000000" points="3478.5,-1462.5 3478.5,-1573.5 3716.5,-1573.5 3716.5,-1462.5 3478.5,-1462.5"/>
<text text-anchor="start" x="3481.5" y="-1559.3" font-family="monospace" font-size="14.00" fill="#000000">StorageLive(_39)</text>
<text text-anchor="start" x="3481.5" y="-1544.3" font-family="monospace" font-size="14.00" fill="#000000">_39 = ((_34 as Ready).0: ())</text>
<text text-anchor="start" x="3481.5" y="-1529.3" font-family="monospace" font-size="14.00" fill="#000000">_2 = _39</text>
<text text-anchor="start" x="3481.5" y="-1514.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_39)</text>
<text text-anchor="start" x="3481.5" y="-1499.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_37)</text>
<text text-anchor="start" x="3481.5" y="-1484.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_34)</text>
<text text-anchor="start" x="3481.5" y="-1469.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_33)</text>
<polygon fill="none" stroke="#000000" points="3478.5,-1441.5 3478.5,-1462.5 3716.5,-1462.5 3716.5,-1441.5 3478.5,-1441.5"/>
<text text-anchor="start" x="3481.5" y="-1448.3" font-family="monospace" font-size="14.00" fill="#000000">drop(_31)</text>
</g>
<!-- bb28&#45;&gt;bb31 -->
<g id="edge39" class="edge">
<title>bb28&#45;&gt;bb31</title>
<path fill="none" stroke="#000000" d="M3749.4192,-1649.8556C3735.254,-1637.6078 3717.2878,-1622.0735 3698.711,-1606.0112"/>
<polygon fill="#000000" stroke="#000000" points="3700.5751,-1602.9961 3690.7214,-1599.1031 3695.9967,-1608.2912 3700.5751,-1602.9961"/>
<text text-anchor="middle" x="3741.5" y="-1620.8" font-family="monospace" font-size="14.00" fill="#000000">real</text>
</g>
<!-- bb32 -->
<g id="node33" class="node">
<title>bb32</title>
<polygon fill="#c0c0c0" stroke="transparent" points="4010.5,-1362 4010.5,-1383 4149.5,-1383 4149.5,-1362 4010.5,-1362"/>
<polygon fill="none" stroke="#000000" points="4010.5,-1362 4010.5,-1383 4149.5,-1383 4149.5,-1362 4010.5,-1362"/>
<text text-anchor="start" x="4071.5" y="-1368.8" font-family="monospace" font-size="14.00" fill="#000000">32</text>
<polygon fill="none" stroke="#000000" points="4010.5,-1296 4010.5,-1362 4149.5,-1362 4149.5,-1296 4010.5,-1296"/>
<text text-anchor="start" x="4013.5" y="-1347.8" font-family="monospace" font-size="14.00" fill="#000000">_41 = ()</text>
<text text-anchor="start" x="4013.5" y="-1332.8" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_42)</text>
<text text-anchor="start" x="4013.5" y="-1317.8" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_41)</text>
<text text-anchor="start" x="4013.5" y="-1302.8" font-family="monospace" font-size="14.00" fill="#000000">_32 = ()</text>
<polygon fill="none" stroke="#000000" points="4010.5,-1275 4010.5,-1296 4149.5,-1296 4149.5,-1275 4010.5,-1275"/>
<text text-anchor="start" x="4013.5" y="-1281.8" font-family="monospace" font-size="14.00" fill="#000000">goto</text>
</g>
<!-- bb29&#45;&gt;bb32 -->
<g id="edge41" class="edge">
<title>bb29&#45;&gt;bb32</title>
<path fill="none" stroke="#000000" d="M3949.0976,-1437.8602C3966.7825,-1423.0967 3985.0275,-1407.8658 4002.0629,-1393.6447"/>
<polygon fill="#000000" stroke="#000000" points="4004.3648,-1396.2823 4009.7985,-1387.187 3999.8788,-1390.9086 4004.3648,-1396.2823"/>
<text text-anchor="middle" x="4010.5" y="-1408.8" font-family="monospace" font-size="14.00" fill="#000000">resume</text>
</g>
<!-- bb35 -->
<g id="node36" class="node">
<title>bb35</title>
<polygon fill="#c0c0c0" stroke="transparent" points="3689.5,-1209 3689.5,-1230 3828.5,-1230 3828.5,-1209 3689.5,-1209"/>
<polygon fill="none" stroke="#000000" points="3689.5,-1209 3689.5,-1230 3828.5,-1230 3828.5,-1209 3689.5,-1209"/>
<text text-anchor="start" x="3750.5" y="-1215.8" font-family="monospace" font-size="14.00" fill="#000000">35</text>
<polygon fill="none" stroke="#000000" points="3689.5,-1173 3689.5,-1209 3828.5,-1209 3828.5,-1173 3689.5,-1173"/>
<text text-anchor="start" x="3692.5" y="-1194.8" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_42)</text>
<text text-anchor="start" x="3692.5" y="-1179.8" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_41)</text>
<polygon fill="none" stroke="#000000" points="3689.5,-1152 3689.5,-1173 3828.5,-1173 3828.5,-1152 3689.5,-1152"/>
<text text-anchor="start" x="3692.5" y="-1158.8" font-family="monospace" font-size="14.00" fill="#000000">drop(_31)</text>
</g>
<!-- bb29&#45;&gt;bb35 -->
<g id="edge42" class="edge">
<title>bb29&#45;&gt;bb35</title>
<path fill="none" stroke="#000000" d="M3829.3846,-1437.965C3812.0212,-1377.47 3788.7343,-1296.3375 3773.6725,-1243.8616"/>
<polygon fill="#000000" stroke="#000000" points="3776.9897,-1242.7321 3770.8666,-1234.0858 3770.2614,-1244.6634 3776.9897,-1242.7321"/>
<text text-anchor="middle" x="3829.5" y="-1325.3" font-family="monospace" font-size="14.00" fill="#000000">drop</text>
</g>
<!-- bb31&#45;&gt;bb22 -->
<g id="edge44" class="edge">
<title>bb31&#45;&gt;bb22</title>
<path fill="none" stroke="#000000" d="M3514.9452,-1437.8602C3491.6156,-1415.0717 3467.1456,-1391.1693 3447.0973,-1371.586"/>
<polygon fill="#000000" stroke="#000000" points="3449.5207,-1369.0605 3439.9214,-1364.5766 3444.6293,-1374.068 3449.5207,-1369.0605"/>
<text text-anchor="middle" x="3519.5" y="-1408.8" font-family="monospace" font-size="14.00" fill="#000000">unwind</text>
</g>
<!-- bb39 -->
<g id="node40" class="node">
<title>bb39</title>
<polygon fill="#c0c0c0" stroke="transparent" points="3516.5,-1201 3516.5,-1222 3655.5,-1222 3655.5,-1201 3516.5,-1201"/>
<polygon fill="none" stroke="#000000" points="3516.5,-1201 3516.5,-1222 3655.5,-1222 3655.5,-1201 3516.5,-1201"/>
<text text-anchor="start" x="3577.5" y="-1207.8" font-family="monospace" font-size="14.00" fill="#000000">39</text>
<polygon fill="none" stroke="#000000" points="3516.5,-1180 3516.5,-1201 3655.5,-1201 3655.5,-1180 3516.5,-1180"/>
<text text-anchor="start" x="3519.5" y="-1186.8" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_31)</text>
<polygon fill="none" stroke="#000000" points="3516.5,-1159 3516.5,-1180 3655.5,-1180 3655.5,-1159 3516.5,-1159"/>
<text text-anchor="start" x="3519.5" y="-1165.8" font-family="monospace" font-size="14.00" fill="#000000">drop(_3)</text>
</g>
<!-- bb31&#45;&gt;bb39 -->
<g id="edge43" class="edge">
<title>bb31&#45;&gt;bb39</title>
<path fill="none" stroke="#000000" d="M3594.5491,-1437.965C3592.2313,-1374.7093 3589.0868,-1288.8897 3587.1804,-1236.8612"/>
<polygon fill="#000000" stroke="#000000" points="3590.6686,-1236.4727 3586.8047,-1226.6075 3583.6733,-1236.729 3590.6686,-1236.4727"/>
<text text-anchor="middle" x="3616.5" y="-1325.3" font-family="monospace" font-size="14.00" fill="#000000">return</text>
</g>
<!-- bb32&#45;&gt;bb20 -->
<g id="edge45" class="edge">
<title>bb32&#45;&gt;bb20</title>
<path fill="none" stroke="#000000" d="M4157.2157,-1357.6313C4221.9122,-1387.0718 4303.5,-1439.8003 4303.5,-1518.5 4303.5,-2120.5 4303.5,-2120.5 4303.5,-2120.5 4303.5,-2240.1356 3893.1145,-2299.2467 3729.0768,-2318.0957"/>
<polygon fill="#000000" stroke="#000000" points="3728.6451,-2314.6222 3719.1033,-2319.2269 3729.434,-2321.5776 3728.6451,-2314.6222"/>
</g>
<!-- bb33 -->
<g id="node34" class="node">
<title>bb33</title>
<polygon fill="#c0c0c0" stroke="transparent" points="3512.5,-860 3512.5,-881 3651.5,-881 3651.5,-860 3512.5,-860"/>
<polygon fill="none" stroke="#000000" points="3512.5,-860 3512.5,-881 3651.5,-881 3651.5,-860 3512.5,-860"/>
<text text-anchor="start" x="3573.5" y="-866.8" font-family="monospace" font-size="14.00" fill="#000000">33</text>
<polygon fill="none" stroke="#000000" points="3512.5,-764 3512.5,-860 3651.5,-860 3651.5,-764 3512.5,-764"/>
<text text-anchor="start" x="3515.5" y="-845.8" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_18)</text>
<text text-anchor="start" x="3515.5" y="-830.8" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_17)</text>
<text text-anchor="start" x="3515.5" y="-815.8" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_16)</text>
<text text-anchor="start" x="3515.5" y="-800.8" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_8)</text>
<text text-anchor="start" x="3515.5" y="-785.8" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_3)</text>
<text text-anchor="start" x="3515.5" y="-770.8" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_2)</text>
<polygon fill="none" stroke="#000000" points="3512.5,-743 3512.5,-764 3651.5,-764 3651.5,-743 3512.5,-743"/>
<text text-anchor="start" x="3515.5" y="-749.8" font-family="monospace" font-size="14.00" fill="#000000">drop(_1)</text>
</g>
<!-- bb33&#45;&gt;bb1 -->
<g id="edge46" class="edge">
<title>bb33&#45;&gt;bb1</title>
<path fill="none" stroke="#000000" d="M3620.4008,-738.7908C3626.6225,-727.7074 3633.117,-716.4812 3639.5,-706 3641.3353,-702.9863 3643.2883,-699.8876 3645.2799,-696.8007"/>
<polygon fill="#000000" stroke="#000000" points="3648.3579,-698.4902 3650.9294,-688.2121 3642.5097,-694.6433 3648.3579,-698.4902"/>
<text text-anchor="middle" x="3664.5" y="-709.8" font-family="monospace" font-size="14.00" fill="#000000">return</text>
</g>
<!-- bb34 -->
<g id="node35" class="node">
<title>bb34</title>
<polygon fill="#c0c0c0" stroke="transparent" points="3512.5,-1026.5 3512.5,-1047.5 3651.5,-1047.5 3651.5,-1026.5 3512.5,-1026.5"/>
<polygon fill="none" stroke="#000000" points="3512.5,-1026.5 3512.5,-1047.5 3651.5,-1047.5 3651.5,-1026.5 3512.5,-1026.5"/>
<text text-anchor="start" x="3573.5" y="-1033.3" font-family="monospace" font-size="14.00" fill="#000000">34</text>
<polygon fill="none" stroke="#000000" points="3512.5,-1005.5 3512.5,-1026.5 3651.5,-1026.5 3651.5,-1005.5 3512.5,-1005.5"/>
<text text-anchor="start" x="3515.5" y="-1012.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_31)</text>
<polygon fill="none" stroke="#000000" points="3512.5,-984.5 3512.5,-1005.5 3651.5,-1005.5 3651.5,-984.5 3512.5,-984.5"/>
<text text-anchor="start" x="3515.5" y="-991.3" font-family="monospace" font-size="14.00" fill="#000000">drop(_3)</text>
</g>
<!-- bb34&#45;&gt;bb33 -->
<g id="edge47" class="edge">
<title>bb34&#45;&gt;bb33</title>
<path fill="none" stroke="#000000" d="M3581.5,-980.8788C3581.5,-957.2319 3581.5,-925.1641 3581.5,-895.3244"/>
<polygon fill="#000000" stroke="#000000" points="3585.0001,-895.3057 3581.5,-885.3057 3578.0001,-895.3057 3585.0001,-895.3057"/>
<text text-anchor="middle" x="3606.5" y="-906.8" font-family="monospace" font-size="14.00" fill="#000000">return</text>
</g>
<!-- bb35&#45;&gt;bb34 -->
<g id="edge49" class="edge">
<title>bb35&#45;&gt;bb34</title>
<path fill="none" stroke="#000000" d="M3714.7472,-1147.8652C3687.3065,-1120.8121 3652.0771,-1086.0802 3624.7352,-1059.1245"/>
<polygon fill="#000000" stroke="#000000" points="3627.1838,-1056.6236 3617.6054,-1052.0954 3622.2694,-1061.6085 3627.1838,-1056.6236"/>
<text text-anchor="middle" x="3720.5" y="-1118.8" font-family="monospace" font-size="14.00" fill="#000000">unwind</text>
</g>
<!-- bb36 -->
<g id="node37" class="node">
<title>bb36</title>
<polygon fill="#c0c0c0" stroke="transparent" points="3685.5,-1026.5 3685.5,-1047.5 3824.5,-1047.5 3824.5,-1026.5 3685.5,-1026.5"/>
<polygon fill="none" stroke="#000000" points="3685.5,-1026.5 3685.5,-1047.5 3824.5,-1047.5 3824.5,-1026.5 3685.5,-1026.5"/>
<text text-anchor="start" x="3746.5" y="-1033.3" font-family="monospace" font-size="14.00" fill="#000000">36</text>
<polygon fill="none" stroke="#000000" points="3685.5,-1005.5 3685.5,-1026.5 3824.5,-1026.5 3824.5,-1005.5 3685.5,-1005.5"/>
<text text-anchor="start" x="3688.5" y="-1012.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_31)</text>
<polygon fill="none" stroke="#000000" points="3685.5,-984.5 3685.5,-1005.5 3824.5,-1005.5 3824.5,-984.5 3685.5,-984.5"/>
<text text-anchor="start" x="3688.5" y="-991.3" font-family="monospace" font-size="14.00" fill="#000000">drop(_3)</text>
</g>
<!-- bb35&#45;&gt;bb36 -->
<g id="edge48" class="edge">
<title>bb35&#45;&gt;bb36</title>
<path fill="none" stroke="#000000" d="M3757.5112,-1147.8652C3756.9149,-1121.8482 3756.1557,-1088.7293 3755.5488,-1062.2549"/>
<polygon fill="#000000" stroke="#000000" points="3759.0443,-1062.0125 3755.3159,-1052.0954 3752.0461,-1062.173 3759.0443,-1062.0125"/>
<text text-anchor="middle" x="3781.5" y="-1118.8" font-family="monospace" font-size="14.00" fill="#000000">return</text>
</g>
<!-- bb36&#45;&gt;bb33 -->
<g id="edge51" class="edge">
<title>bb36&#45;&gt;bb33</title>
<path fill="none" stroke="#000000" d="M3724.3657,-980.8788C3703.8394,-956.6151 3675.8127,-923.4853 3650.0181,-892.9939"/>
<polygon fill="#000000" stroke="#000000" points="3652.6448,-890.6798 3643.5141,-885.3057 3647.3006,-895.2008 3652.6448,-890.6798"/>
<text text-anchor="middle" x="3692.5" y="-906.8" font-family="monospace" font-size="14.00" fill="#000000">unwind</text>
</g>
<!-- bb37 -->
<g id="node38" class="node">
<title>bb37</title>
<polygon fill="#c0c0c0" stroke="transparent" points="3685.5,-860 3685.5,-881 3824.5,-881 3824.5,-860 3685.5,-860"/>
<polygon fill="none" stroke="#000000" points="3685.5,-860 3685.5,-881 3824.5,-881 3824.5,-860 3685.5,-860"/>
<text text-anchor="start" x="3746.5" y="-866.8" font-family="monospace" font-size="14.00" fill="#000000">37</text>
<polygon fill="none" stroke="#000000" points="3685.5,-764 3685.5,-860 3824.5,-860 3824.5,-764 3685.5,-764"/>
<text text-anchor="start" x="3688.5" y="-845.8" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_18)</text>
<text text-anchor="start" x="3688.5" y="-830.8" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_17)</text>
<text text-anchor="start" x="3688.5" y="-815.8" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_16)</text>
<text text-anchor="start" x="3688.5" y="-800.8" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_8)</text>
<text text-anchor="start" x="3688.5" y="-785.8" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_3)</text>
<text text-anchor="start" x="3688.5" y="-770.8" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_2)</text>
<polygon fill="none" stroke="#000000" points="3685.5,-743 3685.5,-764 3824.5,-764 3824.5,-743 3685.5,-743"/>
<text text-anchor="start" x="3688.5" y="-749.8" font-family="monospace" font-size="14.00" fill="#000000">drop(_1)</text>
</g>
<!-- bb36&#45;&gt;bb37 -->
<g id="edge50" class="edge">
<title>bb36&#45;&gt;bb37</title>
<path fill="none" stroke="#000000" d="M3754.5,-980.8788C3754.5,-957.2319 3754.5,-925.1641 3754.5,-895.3244"/>
<polygon fill="#000000" stroke="#000000" points="3758.0001,-895.3057 3754.5,-885.3057 3751.0001,-895.3057 3758.0001,-895.3057"/>
<text text-anchor="middle" x="3779.5" y="-906.8" font-family="monospace" font-size="14.00" fill="#000000">return</text>
</g>
<!-- bb37&#45;&gt;bb1 -->
<g id="edge53" class="edge">
<title>bb37&#45;&gt;bb1</title>
<path fill="none" stroke="#000000" d="M3712.2558,-738.8095C3703.7787,-724.1224 3695.2624,-709.3675 3688.0254,-696.8288"/>
<polygon fill="#000000" stroke="#000000" points="3691.0309,-695.0344 3683.0006,-688.1231 3684.9682,-698.5336 3691.0309,-695.0344"/>
<text text-anchor="middle" x="3725.5" y="-709.8" font-family="monospace" font-size="14.00" fill="#000000">unwind</text>
</g>
<!-- bb38 -->
<g id="node39" class="node">
<title>bb38</title>
<polygon fill="#c0c0c0" stroke="transparent" points="3840.5,-663 3840.5,-684 3962.5,-684 3962.5,-663 3840.5,-663"/>
<polygon fill="none" stroke="#000000" points="3840.5,-663 3840.5,-684 3962.5,-684 3962.5,-663 3840.5,-663"/>
<text text-anchor="start" x="3893" y="-669.8" font-family="monospace" font-size="14.00" fill="#000000">38</text>
<polygon fill="none" stroke="#000000" points="3840.5,-642 3840.5,-663 3962.5,-663 3962.5,-642 3840.5,-642"/>
<text text-anchor="start" x="3843.5" y="-648.8" font-family="monospace" font-size="14.00" fill="#000000">generator_drop</text>
</g>
<!-- bb37&#45;&gt;bb38 -->
<g id="edge52" class="edge">
<title>bb37&#45;&gt;bb38</title>
<path fill="none" stroke="#000000" d="M3826.7081,-738.8095C3841.7607,-723.5521 3856.8856,-708.2214 3869.5564,-695.3782"/>
<polygon fill="#000000" stroke="#000000" points="3872.1825,-697.6999 3876.7141,-688.1231 3867.1994,-692.7837 3872.1825,-697.6999"/>
<text text-anchor="middle" x="3882.5" y="-709.8" font-family="monospace" font-size="14.00" fill="#000000">return</text>
</g>
<!-- bb39&#45;&gt;bb16 -->
<g id="edge55" class="edge">
<title>bb39&#45;&gt;bb16</title>
<path fill="none" stroke="#000000" d="M3548.2304,-1155.2662C3530.4778,-1138.2452 3508.4747,-1117.1489 3487.0289,-1096.5867"/>
<polygon fill="#000000" stroke="#000000" points="3489.4248,-1094.035 3479.7842,-1089.6406 3484.5802,-1099.0878 3489.4248,-1094.035"/>
<text text-anchor="middle" x="3545.5" y="-1118.8" font-family="monospace" font-size="14.00" fill="#000000">unwind</text>
</g>
<!-- bb40 -->
<g id="node41" class="node">
<title>bb40</title>
<polygon fill="#c0c0c0" stroke="transparent" points="3858.5,-1071.5 3858.5,-1092.5 3997.5,-1092.5 3997.5,-1071.5 3858.5,-1071.5"/>
<polygon fill="none" stroke="#000000" points="3858.5,-1071.5 3858.5,-1092.5 3997.5,-1092.5 3997.5,-1071.5 3858.5,-1071.5"/>
<text text-anchor="start" x="3919.5" y="-1078.3" font-family="monospace" font-size="14.00" fill="#000000">40</text>
<polygon fill="none" stroke="#000000" points="3858.5,-960.5 3858.5,-1071.5 3997.5,-1071.5 3997.5,-960.5 3858.5,-960.5"/>
<text text-anchor="start" x="3861.5" y="-1057.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_18)</text>
<text text-anchor="start" x="3861.5" y="-1042.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_17)</text>
<text text-anchor="start" x="3861.5" y="-1027.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_16)</text>
<text text-anchor="start" x="3861.5" y="-1012.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_8)</text>
<text text-anchor="start" x="3861.5" y="-997.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_3)</text>
<text text-anchor="start" x="3861.5" y="-982.3" font-family="monospace" font-size="14.00" fill="#000000">StorageDead(_2)</text>
<text text-anchor="start" x="3861.5" y="-967.3" font-family="monospace" font-size="14.00" fill="#000000">_0 = ()</text>
<polygon fill="none" stroke="#000000" points="3858.5,-939.5 3858.5,-960.5 3997.5,-960.5 3997.5,-939.5 3858.5,-939.5"/>
<text text-anchor="start" x="3861.5" y="-946.3" font-family="monospace" font-size="14.00" fill="#000000">drop(_1)</text>
</g>
<!-- bb39&#45;&gt;bb40 -->
<g id="edge54" class="edge">
<title>bb39&#45;&gt;bb40</title>
<path fill="none" stroke="#000000" d="M3652.0467,-1155.3965C3658.8365,-1152.5899 3665.7281,-1150.0531 3672.5,-1148 3731.6923,-1130.0541 3754.8037,-1156.9016 3810.5,-1130 3824.6391,-1123.1708 3838.1453,-1113.9702 3850.6287,-1103.747"/>
<polygon fill="#000000" stroke="#000000" points="3852.909,-1106.4024 3858.2658,-1097.2616 3848.3779,-1101.0668 3852.909,-1106.4024"/>
<text text-anchor="middle" x="3857.5" y="-1118.8" font-family="monospace" font-size="14.00" fill="#000000">return</text>
</g>
<!-- bb40&#45;&gt;bb1 -->
<g id="edge57" class="edge">
<title>bb40&#45;&gt;bb1</title>
<path fill="none" stroke="#000000" d="M3894.9997,-935.6688C3888.8138,-919.0402 3882.6669,-901.5537 3877.5,-885 3857.587,-821.2031 3884.5194,-790.1458 3841.5,-739 3809.2538,-700.6624 3753.9201,-681.0197 3714.5169,-671.4099"/>
<polygon fill="#000000" stroke="#000000" points="3715.146,-667.9631 3704.6148,-669.1227 3713.5705,-674.7836 3715.146,-667.9631"/>
<text text-anchor="middle" x="3902.5" y="-808.3" font-family="monospace" font-size="14.00" fill="#000000">unwind</text>
</g>
<!-- bb41 -->
<g id="node42" class="node">
<title>bb41</title>
<polygon fill="#c0c0c0" stroke="transparent" points="3944.5,-812 3944.5,-833 4000.5,-833 4000.5,-812 3944.5,-812"/>
<polygon fill="none" stroke="#000000" points="3944.5,-812 3944.5,-833 4000.5,-833 4000.5,-812 3944.5,-812"/>
<text text-anchor="start" x="3964" y="-818.8" font-family="monospace" font-size="14.00" fill="#000000">41</text>
<polygon fill="none" stroke="#000000" points="3944.5,-791 3944.5,-812 4000.5,-812 4000.5,-791 3944.5,-791"/>
<text text-anchor="start" x="3947.5" y="-797.8" font-family="monospace" font-size="14.00" fill="#000000">return</text>
</g>
<!-- bb40&#45;&gt;bb41 -->
<g id="edge56" class="edge">
<title>bb40&#45;&gt;bb41</title>
<path fill="none" stroke="#000000" d="M3945.2206,-935.9697C3952.0211,-905.065 3959.4324,-871.385 3964.8114,-846.9403"/>
<polygon fill="#000000" stroke="#000000" points="3968.2537,-847.5831 3966.9846,-837.0645 3961.4172,-846.0787 3968.2537,-847.5831"/>
<text text-anchor="middle" x="3975.5" y="-906.8" font-family="monospace" font-size="14.00" fill="#000000">return</text>
</g>
</g>
</svg>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.