Created
June 5, 2018 13:53
-
-
Save nikomatsakis/30729457b235586e31f5a975e3338ed3 to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <?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.38.0 (20140413.2041) | |
| --> | |
| <!-- Title: RegionInferenceContext Pages: 1 --> | |
| <svg width="721pt" height="653pt" | |
| viewBox="0.00 0.00 721.00 653.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 649)"> | |
| <title>RegionInferenceContext</title> | |
| <polygon fill="white" stroke="none" points="-4,4 -4,-649 717,-649 717,4 -4,4"/> | |
| <!-- r0 --> | |
| <g id="node1" class="node"><title>r0</title> | |
| <polygon fill="none" stroke="black" points="66,-645 12,-645 12,-609 66,-609 66,-645"/> | |
| <text text-anchor="middle" x="39" y="-623.3" font-family="Times,serif" font-size="14.00">'_#0r</text> | |
| </g> | |
| <!-- r1 --> | |
| <g id="node2" class="node"><title>r1</title> | |
| <polygon fill="none" stroke="black" points="138,-645 84,-645 84,-609 138,-609 138,-645"/> | |
| <text text-anchor="middle" x="111" y="-623.3" font-family="Times,serif" font-size="14.00">'_#1r</text> | |
| </g> | |
| <!-- r2 --> | |
| <g id="node3" class="node"><title>r2</title> | |
| <polygon fill="none" stroke="black" points="270,-210 216,-210 216,-174 270,-174 270,-210"/> | |
| <text text-anchor="middle" x="243" y="-188.3" font-family="Times,serif" font-size="14.00">'_#2r</text> | |
| </g> | |
| <!-- r3 --> | |
| <g id="node4" class="node"><title>r3</title> | |
| <polygon fill="none" stroke="black" points="270,-384 216,-384 216,-348 270,-348 270,-384"/> | |
| <text text-anchor="middle" x="243" y="-362.3" font-family="Times,serif" font-size="14.00">'_#3r</text> | |
| </g> | |
| <!-- r13 --> | |
| <g id="node14" class="node"><title>r13</title> | |
| <polygon fill="none" stroke="black" points="270,-297 216,-297 216,-261 270,-261 270,-297"/> | |
| <text text-anchor="middle" x="243" y="-275.3" font-family="Times,serif" font-size="14.00">'_#13r</text> | |
| </g> | |
| <!-- r3->r13 --> | |
| <g id="edge24" class="edge"><title>r3->r13</title> | |
| <path fill="none" stroke="black" d="M243,-347.799C243,-336.163 243,-320.548 243,-307.237"/> | |
| <polygon fill="black" stroke="black" points="246.5,-307.175 243,-297.175 239.5,-307.175 246.5,-307.175"/> | |
| <text text-anchor="middle" x="261.5" y="-318.8" font-family="Times,serif" font-size="14.00">bb0[7]</text> | |
| </g> | |
| <!-- r4 --> | |
| <g id="node5" class="node"><title>r4</title> | |
| <polygon fill="none" stroke="black" points="270,-558 216,-558 216,-522 270,-522 270,-558"/> | |
| <text text-anchor="middle" x="243" y="-536.3" font-family="Times,serif" font-size="14.00">'_#4r</text> | |
| </g> | |
| <!-- r12 --> | |
| <g id="node13" class="node"><title>r12</title> | |
| <polygon fill="none" stroke="black" points="270,-471 216,-471 216,-435 270,-435 270,-471"/> | |
| <text text-anchor="middle" x="243" y="-449.3" font-family="Times,serif" font-size="14.00">'_#12r</text> | |
| </g> | |
| <!-- r4->r12 --> | |
| <g id="edge12" class="edge"><title>r4->r12</title> | |
| <path fill="none" stroke="black" d="M243,-521.799C243,-510.163 243,-494.548 243,-481.237"/> | |
| <polygon fill="black" stroke="black" points="246.5,-481.175 243,-471.175 239.5,-481.175 246.5,-481.175"/> | |
| <text text-anchor="middle" x="261.5" y="-492.8" font-family="Times,serif" font-size="14.00">bb0[7]</text> | |
| </g> | |
| <!-- r5 --> | |
| <g id="node6" class="node"><title>r5</title> | |
| <polygon fill="none" stroke="black" points="415,-36 361,-36 361,-0 415,-0 415,-36"/> | |
| <text text-anchor="middle" x="388" y="-14.3" font-family="Times,serif" font-size="14.00">'_#5r</text> | |
| </g> | |
| <!-- r6 --> | |
| <g id="node7" class="node"><title>r6</title> | |
| <polygon fill="none" stroke="black" points="415,-210 361,-210 361,-174 415,-174 415,-210"/> | |
| <text text-anchor="middle" x="388" y="-188.3" font-family="Times,serif" font-size="14.00">'_#6r</text> | |
| </g> | |
| <!-- r17 --> | |
| <g id="node18" class="node"><title>r17</title> | |
| <polygon fill="none" stroke="black" points="415,-123 361,-123 361,-87 415,-87 415,-123"/> | |
| <text text-anchor="middle" x="388" y="-101.3" font-family="Times,serif" font-size="14.00">'_#17r</text> | |
| </g> | |
| <!-- r6->r17 --> | |
| <g id="edge25" class="edge"><title>r6->r17</title> | |
| <path fill="none" stroke="black" d="M388,-173.799C388,-162.163 388,-146.548 388,-133.237"/> | |
| <polygon fill="black" stroke="black" points="391.5,-133.175 388,-123.175 384.5,-133.175 391.5,-133.175"/> | |
| <text text-anchor="middle" x="409.5" y="-144.8" font-family="Times,serif" font-size="14.00">bb0[15]</text> | |
| </g> | |
| <!-- r7 --> | |
| <g id="node8" class="node"><title>r7</title> | |
| <polygon fill="none" stroke="black" points="54,-558 0,-558 0,-522 54,-522 54,-558"/> | |
| <text text-anchor="middle" x="27" y="-536.3" font-family="Times,serif" font-size="14.00">'_#7r</text> | |
| </g> | |
| <!-- r11 --> | |
| <g id="node12" class="node"><title>r11</title> | |
| <polygon fill="none" stroke="black" points="210,-645 156,-645 156,-609 210,-609 210,-645"/> | |
| <text text-anchor="middle" x="183" y="-623.3" font-family="Times,serif" font-size="14.00">'_#11r</text> | |
| </g> | |
| <!-- r7->r11 --> | |
| <g id="edge1" class="edge"><title>r7->r11</title> | |
| <path fill="none" stroke="black" d="M40.7793,-558.156C50.4059,-569.062 64.1538,-582.651 79,-591 103.802,-604.947 115.459,-599.537 146.057,-609.158"/> | |
| <polygon fill="black" stroke="black" points="145.108,-612.533 155.702,-612.479 147.387,-605.914 145.108,-612.533"/> | |
| <text text-anchor="middle" x="97.5" y="-579.8" font-family="Times,serif" font-size="14.00">bb2[2]</text> | |
| </g> | |
| <!-- r8 --> | |
| <g id="node9" class="node"><title>r8</title> | |
| <polygon fill="none" stroke="black" points="174,-558 120,-558 120,-522 174,-522 174,-558"/> | |
| <text text-anchor="middle" x="147" y="-536.3" font-family="Times,serif" font-size="14.00">'_#8r</text> | |
| </g> | |
| <!-- r8->r11 --> | |
| <g id="edge3" class="edge"><title>r8->r11</title> | |
| <path fill="none" stroke="black" d="M154.274,-558.175C159.298,-570.036 166.075,-586.039 171.786,-599.522"/> | |
| <polygon fill="black" stroke="black" points="168.592,-600.956 175.715,-608.799 175.038,-598.226 168.592,-600.956"/> | |
| <text text-anchor="middle" x="186.5" y="-579.8" font-family="Times,serif" font-size="14.00">bb3[0]</text> | |
| </g> | |
| <!-- r9 --> | |
| <g id="node10" class="node"><title>r9</title> | |
| <polygon fill="none" stroke="black" points="568,-384 514,-384 514,-348 568,-348 568,-384"/> | |
| <text text-anchor="middle" x="541" y="-362.3" font-family="Times,serif" font-size="14.00">'_#9r</text> | |
| </g> | |
| <!-- r14 --> | |
| <g id="node15" class="node"><title>r14</title> | |
| <polygon fill="none" stroke="black" points="601,-471 547,-471 547,-435 601,-435 601,-471"/> | |
| <text text-anchor="middle" x="574" y="-449.3" font-family="Times,serif" font-size="14.00">'_#14r</text> | |
| </g> | |
| <!-- r9->r14 --> | |
| <g id="edge5" class="edge"><title>r9->r14</title> | |
| <path fill="none" stroke="black" d="M547.668,-384.175C552.228,-395.921 558.365,-411.729 563.568,-425.129"/> | |
| <polygon fill="black" stroke="black" points="560.44,-426.744 567.322,-434.799 566.965,-424.21 560.44,-426.744"/> | |
| <text text-anchor="middle" x="577.5" y="-405.8" font-family="Times,serif" font-size="14.00">bb3[1]</text> | |
| </g> | |
| <!-- r10 --> | |
| <g id="node11" class="node"><title>r10</title> | |
| <polygon fill="none" stroke="black" points="691,-384 637,-384 637,-348 691,-348 691,-384"/> | |
| <text text-anchor="middle" x="664" y="-362.3" font-family="Times,serif" font-size="14.00">'_#10r</text> | |
| </g> | |
| <!-- r10->r14 --> | |
| <g id="edge7" class="edge"><title>r10->r14</title> | |
| <path fill="none" stroke="black" d="M672.518,-384.152C676.349,-394.518 678.685,-407.515 672,-417 658.254,-436.506 632.605,-445.2 610.994,-449.048"/> | |
| <polygon fill="black" stroke="black" points="610.464,-445.588 601.094,-450.535 611.503,-452.511 610.464,-445.588"/> | |
| <text text-anchor="middle" x="694.5" y="-405.8" font-family="Times,serif" font-size="14.00">bb4[0]</text> | |
| </g> | |
| <!-- r11->r4 --> | |
| <g id="edge11" class="edge"><title>r11->r4</title> | |
| <path fill="none" stroke="black" d="M196.105,-608.658C200.276,-603.058 204.877,-596.799 209,-591 214.568,-583.168 220.502,-574.543 225.828,-566.694"/> | |
| <polygon fill="black" stroke="black" points="228.837,-568.493 231.531,-558.246 223.035,-564.576 228.837,-568.493"/> | |
| <text text-anchor="middle" x="238.5" y="-579.8" font-family="Times,serif" font-size="14.00">bb0[8]</text> | |
| </g> | |
| <!-- r11->r7 --> | |
| <g id="edge2" class="edge"><title>r11->r7</title> | |
| <path fill="none" stroke="black" d="M155.82,-612.126C152.889,-610.945 149.914,-609.871 147,-609 119.479,-600.774 37.844,-612.679 19,-591 13.5059,-584.679 13.2087,-576.139 15.0014,-567.906"/> | |
| <polygon fill="black" stroke="black" points="18.3966,-568.774 18.0157,-558.186 11.7107,-566.7 18.3966,-568.774"/> | |
| <text text-anchor="middle" x="37.5" y="-579.8" font-family="Times,serif" font-size="14.00">bb2[2]</text> | |
| </g> | |
| <!-- r11->r8 --> | |
| <g id="edge4" class="edge"><title>r11->r8</title> | |
| <path fill="none" stroke="black" d="M155.695,-611.958C140.42,-603.823 124.035,-594.513 122,-591 117.547,-583.312 119.476,-574.728 123.792,-566.872"/> | |
| <polygon fill="black" stroke="black" points="126.81,-568.656 129.466,-558.399 120.994,-564.761 126.81,-568.656"/> | |
| <text text-anchor="middle" x="140.5" y="-579.8" font-family="Times,serif" font-size="14.00">bb3[0]</text> | |
| </g> | |
| <!-- r18 --> | |
| <g id="node19" class="node"><title>r18</title> | |
| <polygon fill="none" stroke="black" points="369,-558 315,-558 315,-522 369,-522 369,-558"/> | |
| <text text-anchor="middle" x="342" y="-536.3" font-family="Times,serif" font-size="14.00">'_#18r</text> | |
| </g> | |
| <!-- r11->r18 --> | |
| <g id="edge13" class="edge"><title>r11->r18</title> | |
| <path fill="none" stroke="black" d="M210.131,-614.866C225.323,-608.374 244.476,-599.759 261,-591 276.719,-582.668 293.542,-572.501 307.761,-563.516"/> | |
| <polygon fill="black" stroke="black" points="309.698,-566.432 316.244,-558.102 305.932,-560.532 309.698,-566.432"/> | |
| <text text-anchor="middle" x="308.5" y="-579.8" font-family="Times,serif" font-size="14.00">bb0[14]</text> | |
| </g> | |
| <!-- r12->r3 --> | |
| <g id="edge10" class="edge"><title>r12->r3</title> | |
| <path fill="none" stroke="black" d="M243,-434.799C243,-423.163 243,-407.548 243,-394.237"/> | |
| <polygon fill="black" stroke="black" points="246.5,-394.175 243,-384.175 239.5,-394.175 246.5,-394.175"/> | |
| <text text-anchor="middle" x="261.5" y="-405.8" font-family="Times,serif" font-size="14.00">bb0[7]</text> | |
| </g> | |
| <!-- r13->r2 --> | |
| <g id="edge9" class="edge"><title>r13->r2</title> | |
| <path fill="none" stroke="black" d="M243,-260.799C243,-249.163 243,-233.548 243,-220.237"/> | |
| <polygon fill="black" stroke="black" points="246.5,-220.175 243,-210.175 239.5,-220.175 246.5,-220.175"/> | |
| <text text-anchor="middle" x="261.5" y="-231.8" font-family="Times,serif" font-size="14.00">bb0[6]</text> | |
| </g> | |
| <!-- r14->r9 --> | |
| <g id="edge6" class="edge"><title>r14->r9</title> | |
| <path fill="none" stroke="black" d="M546.982,-443.349C534.615,-437.882 521.148,-429.444 514,-417 509.453,-409.084 511.721,-400.359 516.471,-392.442"/> | |
| <polygon fill="black" stroke="black" points="519.373,-394.402 522.394,-384.247 513.7,-390.302 519.373,-394.402"/> | |
| <text text-anchor="middle" x="532.5" y="-405.8" font-family="Times,serif" font-size="14.00">bb3[1]</text> | |
| </g> | |
| <!-- r14->r10 --> | |
| <g id="edge8" class="edge"><title>r14->r10</title> | |
| <path fill="none" stroke="black" d="M592.213,-434.799C605.51,-422.241 623.712,-405.049 638.461,-391.12"/> | |
| <polygon fill="black" stroke="black" points="640.947,-393.586 645.814,-384.175 636.141,-388.497 640.947,-393.586"/> | |
| <text text-anchor="middle" x="642.5" y="-405.8" font-family="Times,serif" font-size="14.00">bb4[0]</text> | |
| </g> | |
| <!-- r19 --> | |
| <g id="node20" class="node"><title>r19</title> | |
| <polygon fill="none" stroke="black" points="415,-384 361,-384 361,-348 415,-348 415,-384"/> | |
| <text text-anchor="middle" x="388" y="-362.3" font-family="Times,serif" font-size="14.00">'_#19r</text> | |
| </g> | |
| <!-- r14->r19 --> | |
| <g id="edge19" class="edge"><title>r14->r19</title> | |
| <path fill="none" stroke="black" d="M546.861,-444.675C525.492,-438.481 495.211,-428.749 470,-417 453.354,-409.243 435.853,-398.905 421.314,-389.643"/> | |
| <polygon fill="black" stroke="black" points="422.974,-386.549 412.678,-384.049 419.168,-392.423 422.974,-386.549"/> | |
| <text text-anchor="middle" x="488.5" y="-405.8" font-family="Times,serif" font-size="14.00">bb2[0]</text> | |
| </g> | |
| <!-- r15 --> | |
| <g id="node16" class="node"><title>r15</title> | |
| <polygon fill="none" stroke="black" points="415,-297 361,-297 361,-261 415,-261 415,-297"/> | |
| <text text-anchor="middle" x="388" y="-275.3" font-family="Times,serif" font-size="14.00">'_#15r</text> | |
| </g> | |
| <!-- r15->r6 --> | |
| <g id="edge16" class="edge"><title>r15->r6</title> | |
| <path fill="none" stroke="black" d="M388,-260.799C388,-249.163 388,-233.548 388,-220.237"/> | |
| <polygon fill="black" stroke="black" points="391.5,-220.175 388,-210.175 384.5,-220.175 391.5,-220.175"/> | |
| <text text-anchor="middle" x="409.5" y="-231.8" font-family="Times,serif" font-size="14.00">bb0[15]</text> | |
| </g> | |
| <!-- r16 --> | |
| <g id="node17" class="node"><title>r16</title> | |
| <polygon fill="none" stroke="black" points="369,-471 315,-471 315,-435 369,-435 369,-471"/> | |
| <text text-anchor="middle" x="342" y="-449.3" font-family="Times,serif" font-size="14.00">'_#16r</text> | |
| </g> | |
| <!-- r16->r18 --> | |
| <g id="edge17" class="edge"><title>r16->r18</title> | |
| <path fill="none" stroke="black" d="M344.928,-471.038C345.775,-476.731 346.582,-483.122 347,-489 347.53,-496.452 347.145,-504.514 346.399,-511.944"/> | |
| <polygon fill="black" stroke="black" points="342.923,-511.541 345.161,-521.896 349.869,-512.405 342.923,-511.541"/> | |
| <text text-anchor="middle" x="368.5" y="-492.8" font-family="Times,serif" font-size="14.00">bb0[15]</text> | |
| </g> | |
| <!-- r16->r19 --> | |
| <g id="edge21" class="edge"><title>r16->r19</title> | |
| <path fill="none" stroke="black" d="M327.929,-434.653C321.655,-424.705 316.905,-412.205 323,-402 329.418,-391.255 340.398,-383.614 351.526,-378.273"/> | |
| <polygon fill="black" stroke="black" points="352.988,-381.455 360.811,-374.31 350.24,-375.017 352.988,-381.455"/> | |
| <text text-anchor="middle" x="344.5" y="-405.8" font-family="Times,serif" font-size="14.00">bb0[15]</text> | |
| </g> | |
| <!-- r17->r5 --> | |
| <g id="edge14" class="edge"><title>r17->r5</title> | |
| <path fill="none" stroke="black" d="M388,-86.799C388,-75.1626 388,-59.5479 388,-46.2368"/> | |
| <polygon fill="black" stroke="black" points="391.5,-46.1754 388,-36.1754 384.5,-46.1755 391.5,-46.1754"/> | |
| <text text-anchor="middle" x="409.5" y="-57.8" font-family="Times,serif" font-size="14.00">bb0[14]</text> | |
| </g> | |
| <!-- r18->r11 --> | |
| <g id="edge15" class="edge"><title>r18->r11</title> | |
| <path fill="none" stroke="black" d="M343.757,-558.376C343.852,-569.092 342.037,-582.388 334,-591 318.747,-607.345 259.686,-617.217 220.107,-622.132"/> | |
| <polygon fill="black" stroke="black" points="219.526,-618.677 210.009,-623.333 220.352,-625.628 219.526,-618.677"/> | |
| <text text-anchor="middle" x="362.5" y="-579.8" font-family="Times,serif" font-size="14.00">bb0[14]</text> | |
| </g> | |
| <!-- r18->r16 --> | |
| <g id="edge18" class="edge"><title>r18->r16</title> | |
| <path fill="none" stroke="black" d="M314.742,-522.241C308.797,-517.172 303.301,-511.048 300,-504 295.472,-494.332 299.958,-485.011 307.44,-477.09"/> | |
| <polygon fill="black" stroke="black" points="309.933,-479.554 314.981,-470.239 305.226,-474.373 309.933,-479.554"/> | |
| <text text-anchor="middle" x="321.5" y="-492.8" font-family="Times,serif" font-size="14.00">bb0[15]</text> | |
| </g> | |
| <!-- r19->r15 --> | |
| <g id="edge22" class="edge"><title>r19->r15</title> | |
| <path fill="none" stroke="black" d="M388,-347.799C388,-336.163 388,-320.548 388,-307.237"/> | |
| <polygon fill="black" stroke="black" points="391.5,-307.175 388,-297.175 384.5,-307.175 391.5,-307.175"/> | |
| <text text-anchor="middle" x="409.5" y="-318.8" font-family="Times,serif" font-size="14.00">bb0[15]</text> | |
| </g> | |
| <!-- r19->r16 --> | |
| <g id="edge23" class="edge"><title>r19->r16</title> | |
| <path fill="none" stroke="black" d="M381.427,-384.044C377.403,-393.893 371.903,-406.393 366,-417 364.264,-420.12 362.324,-423.314 360.321,-426.441"/> | |
| <polygon fill="black" stroke="black" points="357.273,-424.704 354.623,-434.962 363.092,-428.595 357.273,-424.704"/> | |
| <text text-anchor="middle" x="394.5" y="-405.8" font-family="Times,serif" font-size="14.00">bb0[15]</text> | |
| </g> | |
| <!-- r19->r19 --> | |
| <g id="edge20" class="edge"><title>r19->r19</title> | |
| <path fill="none" stroke="black" d="M415.241,-373.867C425.024,-374.036 433,-371.414 433,-366 433,-362.701 430.038,-360.438 425.51,-359.212"/> | |
| <polygon fill="black" stroke="black" points="425.552,-355.697 415.241,-358.133 424.82,-362.659 425.552,-355.697"/> | |
| <text text-anchor="middle" x="454.5" y="-362.3" font-family="Times,serif" font-size="14.00">bb0[15]</text> | |
| </g> | |
| </g> | |
| </svg> |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment