From 4020989bde43b6b0fd2a4fe8064cf86f3ae677ec Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Tue, 10 Mar 2020 16:30:10 +0300
Subject: [PATCH] Defensive copying of argument list.

SModel returns a model-based list by default.
Since it is used w/o a read action, we need to copy the list
to be used as constraint's argument.
---
 .../jetbrains.mps.baseLanguageExt.types.mps   | 450 +++++++++---------
 1 file changed, 235 insertions(+), 215 deletions(-)

diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps
index c959f994..ff7d51ed 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps
@@ -2,17 +2,17 @@
 <model ref="r:92b96158-68e6-4f53-a32b-36e2b456fe01(jetbrains.mps.baseLanguageExt.types)">
   <persistence version="9" />
   <languages>
-    <use id="fd392034-7849-419d-9071-12563d152375" name="jetbrains.mps.baseLanguage.closures" version="0" />
-    <use id="35320f26-77cb-4c55-be9f-a97a27770af1" name="jetbrains.mps.logic" version="8" />
-    <use id="83888646-71ce-4f1c-9c53-c54016f6ad4f" name="jetbrains.mps.baseLanguage.collections" version="1" />
-    <use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="20" />
-    <use id="a247e09e-2435-45ba-b8d2-07e93feba96a" name="jetbrains.mps.baseLanguage.tuples" version="0" />
-    <use id="3a13115c-633c-4c5c-bbcc-75c4219e9555" name="jetbrains.mps.lang.quotation" version="4" />
-    <use id="f2801650-65d5-424e-bb1b-463a8781b786" name="jetbrains.mps.baseLanguage.javadoc" version="2" />
-    <use id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core" version="2" />
-    <use id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel" version="17" />
-    <use id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage" version="9" />
-    <use id="7a5dda62-9140-4668-ab76-d5ed1746f2b2" name="jetbrains.mps.lang.typesystem" version="5" />
+    <use id="fd392034-7849-419d-9071-12563d152375" name="jetbrains.mps.baseLanguage.closures" version="-1" />
+    <use id="35320f26-77cb-4c55-be9f-a97a27770af1" name="jetbrains.mps.logic" version="-1" />
+    <use id="83888646-71ce-4f1c-9c53-c54016f6ad4f" name="jetbrains.mps.baseLanguage.collections" version="-1" />
+    <use id="c4803b19-6d89-4a3b-bf82-390769514add" name="jetbrains.mps.lang.coderules" version="-1" />
+    <use id="a247e09e-2435-45ba-b8d2-07e93feba96a" name="jetbrains.mps.baseLanguage.tuples" version="-1" />
+    <use id="3a13115c-633c-4c5c-bbcc-75c4219e9555" name="jetbrains.mps.lang.quotation" version="-1" />
+    <use id="f2801650-65d5-424e-bb1b-463a8781b786" name="jetbrains.mps.baseLanguage.javadoc" version="-1" />
+    <use id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core" version="-1" />
+    <use id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel" version="-1" />
+    <use id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage" version="-1" />
+    <use id="7a5dda62-9140-4668-ab76-d5ed1746f2b2" name="jetbrains.mps.lang.typesystem" version="-1" />
     <engage id="4b5b4f8d-d30a-4ef8-9bf4-dfd26af9d462" name="jetbrains.mps.lang.typechecking" />
   </languages>
   <imports>
@@ -4893,12 +4893,17 @@
             <node concept="2I9FWS" id="4xoHD1GsAtc" role="1tU5fm">
               <ref role="2I9WkF" to="tpee:fz3vP1J" resolve="Expression" />
             </node>
-            <node concept="2OqwBi" id="4xoHD1GsAtd" role="33vP2m">
-              <node concept="3A2sRY" id="4xoHD1GsAte" role="2Oq$k0">
-                <ref role="3A2yKK" node="4xoHD1GsAAo" resolve="imc" />
-              </node>
-              <node concept="3Tsc0h" id="4xoHD1GsAtf" role="2OqNvi">
-                <ref role="3TtcxE" to="tpee:fz7wK6I" resolve="actualArgument" />
+            <node concept="2ShNRf" id="2XpyGaMvMUB" role="33vP2m">
+              <node concept="Tc6Ow" id="2XpyGaMvONh" role="2ShVmc">
+                <node concept="3Tqbb2" id="2XpyGaMvPxO" role="HW$YZ" />
+                <node concept="2OqwBi" id="4xoHD1GsAtd" role="I$8f6">
+                  <node concept="3A2sRY" id="4xoHD1GsAte" role="2Oq$k0">
+                    <ref role="3A2yKK" node="4xoHD1GsAAo" resolve="imc" />
+                  </node>
+                  <node concept="3Tsc0h" id="4xoHD1GsAtf" role="2OqNvi">
+                    <ref role="3TtcxE" to="tpee:fz7wK6I" resolve="actualArgument" />
+                  </node>
+                </node>
               </node>
             </node>
           </node>
@@ -6332,12 +6337,17 @@
             <node concept="2I9FWS" id="4xoHD1GibhV" role="1tU5fm">
               <ref role="2I9WkF" to="tpee:fz3vP1J" resolve="Expression" />
             </node>
-            <node concept="2OqwBi" id="4xoHD1Gic5N" role="33vP2m">
-              <node concept="3A2sRY" id="4xoHD1GibTI" role="2Oq$k0">
-                <ref role="3A2yKK" node="3R6X$QWrjDp" resolve="bmc" />
-              </node>
-              <node concept="3Tsc0h" id="4xoHD1GihNK" role="2OqNvi">
-                <ref role="3TtcxE" to="tpee:fz7wK6I" resolve="actualArgument" />
+            <node concept="2ShNRf" id="2XpyGaMxUOu" role="33vP2m">
+              <node concept="Tc6Ow" id="2XpyGaMxVCY" role="2ShVmc">
+                <node concept="3Tqbb2" id="2XpyGaMxWJZ" role="HW$YZ" />
+                <node concept="2OqwBi" id="4xoHD1Gic5N" role="I$8f6">
+                  <node concept="3A2sRY" id="4xoHD1GibTI" role="2Oq$k0">
+                    <ref role="3A2yKK" node="3R6X$QWrjDp" resolve="bmc" />
+                  </node>
+                  <node concept="3Tsc0h" id="4xoHD1GihNK" role="2OqNvi">
+                    <ref role="3TtcxE" to="tpee:fz7wK6I" resolve="actualArgument" />
+                  </node>
+                </node>
               </node>
             </node>
           </node>
@@ -8177,12 +8187,17 @@
             <node concept="2I9FWS" id="4xoHD1Gisos" role="1tU5fm">
               <ref role="2I9WkF" to="tpee:fz3vP1J" resolve="Expression" />
             </node>
-            <node concept="2OqwBi" id="4xoHD1GitoH" role="33vP2m">
-              <node concept="3A2sRY" id="4xoHD1GisXN" role="2Oq$k0">
-                <ref role="3A2yKK" node="4xoHD1Gi1m8" resolve="anonCls" />
-              </node>
-              <node concept="3Tsc0h" id="4xoHD1GiucO" role="2OqNvi">
-                <ref role="3TtcxE" to="tpee:2yoSzAaKW1u" resolve="constructorArgument" />
+            <node concept="2ShNRf" id="2XpyGaMybM2" role="33vP2m">
+              <node concept="Tc6Ow" id="2XpyGaMyc$l" role="2ShVmc">
+                <node concept="3Tqbb2" id="2XpyGaMydeu" role="HW$YZ" />
+                <node concept="2OqwBi" id="4xoHD1GitoH" role="I$8f6">
+                  <node concept="3A2sRY" id="4xoHD1GisXN" role="2Oq$k0">
+                    <ref role="3A2yKK" node="4xoHD1Gi1m8" resolve="anonCls" />
+                  </node>
+                  <node concept="3Tsc0h" id="4xoHD1GiucO" role="2OqNvi">
+                    <ref role="3TtcxE" to="tpee:2yoSzAaKW1u" resolve="constructorArgument" />
+                  </node>
+                </node>
               </node>
             </node>
           </node>
@@ -8832,12 +8847,17 @@
             <node concept="2I9FWS" id="4xoHD1GpWd2" role="1tU5fm">
               <ref role="2I9WkF" to="tpee:fz3vP1J" resolve="Expression" />
             </node>
-            <node concept="2OqwBi" id="4xoHD1GpWd3" role="33vP2m">
-              <node concept="3A2sRY" id="4xoHD1GpWd4" role="2Oq$k0">
-                <ref role="3A2yKK" node="4xoHD1GpWgY" resolve="cc" />
-              </node>
-              <node concept="3Tsc0h" id="4xoHD1Gq8UA" role="2OqNvi">
-                <ref role="3TtcxE" to="tpee:fz7wK6I" resolve="actualArgument" />
+            <node concept="2ShNRf" id="2XpyGaMyjYf" role="33vP2m">
+              <node concept="Tc6Ow" id="2XpyGaMykKy" role="2ShVmc">
+                <node concept="3Tqbb2" id="2XpyGaMylN9" role="HW$YZ" />
+                <node concept="2OqwBi" id="4xoHD1GpWd3" role="I$8f6">
+                  <node concept="3A2sRY" id="4xoHD1GpWd4" role="2Oq$k0">
+                    <ref role="3A2yKK" node="4xoHD1GpWgY" resolve="cc" />
+                  </node>
+                  <node concept="3Tsc0h" id="4xoHD1Gq8UA" role="2OqNvi">
+                    <ref role="3TtcxE" to="tpee:fz7wK6I" resolve="actualArgument" />
+                  </node>
+                </node>
               </node>
             </node>
           </node>
@@ -15092,156 +15112,6 @@
         </node>
       </node>
     </node>
-    <node concept="1X3_iC" id="6p5LEuvdKgT" role="lGtFl">
-      <property role="3V$3am" value="template" />
-      <property role="3V$3ak" value="c4803b19-6d89-4a3b-bf82-390769514add/8335224865066015764/3575255234175157601" />
-      <node concept="1nLNMY" id="12QmIo_7si0" role="8Wnug">
-        <property role="TrG5h" value="converts_typeVar_bound" />
-        <node concept="3clFbS" id="12QmIo_7si1" role="1nLNMH">
-          <node concept="3SKdUt" id="4ObboSeY_i3" role="3cqZAp">
-            <node concept="1PaTwC" id="4ObboSeY_i4" role="3ndbpf">
-              <node concept="3oM_SD" id="4ObboSeY_i6" role="1PaTwD">
-                <property role="3oM_SC" value="fixme:" />
-              </node>
-              <node concept="3oM_SD" id="4ObboSeY_AU" role="1PaTwD">
-                <property role="3oM_SC" value="does" />
-              </node>
-              <node concept="3oM_SD" id="4ObboSeY_Vd" role="1PaTwD">
-                <property role="3oM_SC" value="capturing" />
-              </node>
-              <node concept="3oM_SD" id="4ObboSeYGAk" role="1PaTwD">
-                <property role="3oM_SC" value="Bnd" />
-              </node>
-              <node concept="3oM_SD" id="4ObboSeYGAq" role="1PaTwD">
-                <property role="3oM_SC" value="makes" />
-              </node>
-              <node concept="3oM_SD" id="4ObboSeYBPu" role="1PaTwD">
-                <property role="3oM_SC" value="sense?" />
-              </node>
-            </node>
-            <node concept="1PaTwC" id="4ObboSeYC9U" role="3ndbpf">
-              <node concept="3oM_SD" id="4ObboSeYHRO" role="1PaTwD">
-                <property role="3oM_SC" value="capture" />
-              </node>
-              <node concept="3oM_SD" id="4ObboSeYEo0" role="1PaTwD">
-                <property role="3oM_SC" value="works" />
-              </node>
-              <node concept="3oM_SD" id="4ObboSeYEGk" role="1PaTwD">
-                <property role="3oM_SC" value="only" />
-              </node>
-              <node concept="3oM_SD" id="4ObboSeYF0D" role="1PaTwD">
-                <property role="3oM_SC" value="on" />
-              </node>
-              <node concept="3oM_SD" id="4ObboSeYF0J" role="1PaTwD">
-                <property role="3oM_SC" value="wildcard" />
-              </node>
-              <node concept="3oM_SD" id="4ObboSeYFDm" role="1PaTwD">
-                <property role="3oM_SC" value="types" />
-              </node>
-            </node>
-            <node concept="1PaTwC" id="4ObboSeYHf2" role="3ndbpf">
-              <node concept="3oM_SD" id="4ObboSeYHf1" role="1PaTwD">
-                <property role="3oM_SC" value="and" />
-              </node>
-              <node concept="3oM_SD" id="4ObboSeYIcb" role="1PaTwD">
-                <property role="3oM_SC" value="Bnd" />
-              </node>
-              <node concept="3oM_SD" id="4ObboSeYIce" role="1PaTwD">
-                <property role="3oM_SC" value="can't" />
-              </node>
-              <node concept="3oM_SD" id="4ObboSeYIwy" role="1PaTwD">
-                <property role="3oM_SC" value="be" />
-              </node>
-              <node concept="3oM_SD" id="4ObboSeYIwB" role="1PaTwD">
-                <property role="3oM_SC" value="a" />
-              </node>
-              <node concept="3oM_SD" id="4ObboSeYIwH" role="1PaTwD">
-                <property role="3oM_SC" value="wildcard" />
-              </node>
-            </node>
-          </node>
-          <node concept="3clFbH" id="4ObboSeYJ9k" role="3cqZAp" />
-          <node concept="1nLNNL" id="12QmIo_7si2" role="3cqZAp">
-            <node concept="1nLNMm" id="12QmIo_7si3" role="1nLNNK">
-              <node concept="3Aq93q" id="2BbfRGBSoWK" role="1nLNMb">
-                <node concept="3I6sU6" id="2BbfRGBSoWL" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="2BbfRGBSoWP" role="3I6sU7">
-                    <node concept="3Aqt3T" id="2BbfRGBSoWO" role="3I6s78">
-                      <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
-                      <node concept="1HFMs5" id="1mdVbTSaq2w" role="3AunhB">
-                        <node concept="ns1u0" id="JOGAOsVt9W" role="1uarlW">
-                          <ref role="ns1xF" node="JOGAOsVt2f" resolve="typeVariable" />
-                          <node concept="nsMwS" id="JOGAOsVt9X" role="ns1xD">
-                            <ref role="nsMwP" node="39Sam6ZibY7" resolve="parameter" />
-                            <node concept="1nq8_$" id="49obaclfiiE" role="nsMwV">
-                              <node concept="a7P8L" id="2BbfRGBSpch" role="1nq8_t">
-                                <ref role="a7OzE" node="2BbfRGBSoX0" resolve="Bnd" />
-                              </node>
-                            </node>
-                          </node>
-                        </node>
-                        <node concept="a7P8L" id="2BbfRGBSoXh" role="1uarlU">
-                          <ref role="a7OzE" node="2BbfRGBSoWU" resolve="TypeVar" />
-                        </node>
-                      </node>
-                      <node concept="a7P8L" id="2BbfRGBSpfD" role="3AunhB">
-                        <ref role="a7OzE" node="2BbfRGBSpdX" resolve="To" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="3NuqgR" id="2BbfRGBXXT_" role="0Rg$4">
-                <node concept="aZer4" id="2BbfRGBXXTA" role="3XD1gS">
-                  <property role="TrG5h" value="BndCap" />
-                </node>
-                <node concept="32pEOW" id="24ciDNzxNCN" role="3vLBG7" />
-              </node>
-              <node concept="3NuqgR" id="2BbfRGBSoWT" role="0Rg$4">
-                <node concept="aZer4" id="2BbfRGBSoWU" role="3XD1gS">
-                  <property role="TrG5h" value="TypeVar" />
-                </node>
-                <node concept="aZer4" id="2BbfRGBSoX0" role="3XD1gS">
-                  <property role="TrG5h" value="Bnd" />
-                </node>
-                <node concept="aZer4" id="2BbfRGBSpdX" role="3XD1gS">
-                  <property role="TrG5h" value="To" />
-                </node>
-                <node concept="32pEOW" id="24ciDNzxNCO" role="3vLBG7" />
-              </node>
-              <node concept="3xSepi" id="6E2cNicdiiJ" role="3xSepv">
-                <node concept="3Aq9E8" id="2BbfRGBSpgd" role="3xSepj">
-                  <node concept="3I6sU6" id="2BbfRGBSpge" role="3Ip0Jz">
-                    <node concept="3I6s7M" id="2BbfRGBXXUb" role="3I6sU7">
-                      <node concept="3Aqt3T" id="2BbfRGBXXU9" role="3I6s78">
-                        <ref role="3AqCNq" node="3wxtToEiJ2p" resolve="capture" />
-                        <node concept="a7P8L" id="2BbfRGBXXUm" role="3AunhB">
-                          <ref role="a7OzE" node="2BbfRGBXXTA" resolve="BndCap" />
-                        </node>
-                        <node concept="a7P8L" id="2BbfRGBXXW5" role="3AunhB">
-                          <ref role="a7OzE" node="2BbfRGBSoX0" resolve="Bnd" />
-                        </node>
-                      </node>
-                    </node>
-                    <node concept="3I6s7M" id="2BbfRGBSpgi" role="3I6sU7">
-                      <node concept="3Aqt3T" id="2BbfRGBSpgh" role="3I6s78">
-                        <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
-                        <node concept="a7P8L" id="2BbfRGBXXWb" role="3AunhB">
-                          <ref role="a7OzE" node="2BbfRGBXXTA" resolve="BndCap" />
-                        </node>
-                        <node concept="a7P8L" id="2BbfRGBSpgv" role="3AunhB">
-                          <ref role="a7OzE" node="2BbfRGBSpdX" resolve="To" />
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-    </node>
     <node concept="1nLNMY" id="6p5LEuvdJVK" role="1nK1Vg">
       <property role="TrG5h" value="converts_typeVar_bound" />
       <node concept="3clFbS" id="6p5LEuvdJVL" role="1nLNMH">
@@ -16401,6 +16271,156 @@
         </node>
       </node>
     </node>
+    <node concept="1X3_iC" id="6p5LEuvdKgT" role="lGtFl">
+      <property role="3V$3am" value="template" />
+      <property role="3V$3ak" value="c4803b19-6d89-4a3b-bf82-390769514add/8335224865066015764/3575255234175157601" />
+      <node concept="1nLNMY" id="12QmIo_7si0" role="8Wnug">
+        <property role="TrG5h" value="converts_typeVar_bound" />
+        <node concept="3clFbS" id="12QmIo_7si1" role="1nLNMH">
+          <node concept="3SKdUt" id="4ObboSeY_i3" role="3cqZAp">
+            <node concept="1PaTwC" id="4ObboSeY_i4" role="3ndbpf">
+              <node concept="3oM_SD" id="4ObboSeY_i6" role="1PaTwD">
+                <property role="3oM_SC" value="fixme:" />
+              </node>
+              <node concept="3oM_SD" id="4ObboSeY_AU" role="1PaTwD">
+                <property role="3oM_SC" value="does" />
+              </node>
+              <node concept="3oM_SD" id="4ObboSeY_Vd" role="1PaTwD">
+                <property role="3oM_SC" value="capturing" />
+              </node>
+              <node concept="3oM_SD" id="4ObboSeYGAk" role="1PaTwD">
+                <property role="3oM_SC" value="Bnd" />
+              </node>
+              <node concept="3oM_SD" id="4ObboSeYGAq" role="1PaTwD">
+                <property role="3oM_SC" value="makes" />
+              </node>
+              <node concept="3oM_SD" id="4ObboSeYBPu" role="1PaTwD">
+                <property role="3oM_SC" value="sense?" />
+              </node>
+            </node>
+            <node concept="1PaTwC" id="4ObboSeYC9U" role="3ndbpf">
+              <node concept="3oM_SD" id="4ObboSeYHRO" role="1PaTwD">
+                <property role="3oM_SC" value="capture" />
+              </node>
+              <node concept="3oM_SD" id="4ObboSeYEo0" role="1PaTwD">
+                <property role="3oM_SC" value="works" />
+              </node>
+              <node concept="3oM_SD" id="4ObboSeYEGk" role="1PaTwD">
+                <property role="3oM_SC" value="only" />
+              </node>
+              <node concept="3oM_SD" id="4ObboSeYF0D" role="1PaTwD">
+                <property role="3oM_SC" value="on" />
+              </node>
+              <node concept="3oM_SD" id="4ObboSeYF0J" role="1PaTwD">
+                <property role="3oM_SC" value="wildcard" />
+              </node>
+              <node concept="3oM_SD" id="4ObboSeYFDm" role="1PaTwD">
+                <property role="3oM_SC" value="types" />
+              </node>
+            </node>
+            <node concept="1PaTwC" id="4ObboSeYHf2" role="3ndbpf">
+              <node concept="3oM_SD" id="4ObboSeYHf1" role="1PaTwD">
+                <property role="3oM_SC" value="and" />
+              </node>
+              <node concept="3oM_SD" id="4ObboSeYIcb" role="1PaTwD">
+                <property role="3oM_SC" value="Bnd" />
+              </node>
+              <node concept="3oM_SD" id="4ObboSeYIce" role="1PaTwD">
+                <property role="3oM_SC" value="can't" />
+              </node>
+              <node concept="3oM_SD" id="4ObboSeYIwy" role="1PaTwD">
+                <property role="3oM_SC" value="be" />
+              </node>
+              <node concept="3oM_SD" id="4ObboSeYIwB" role="1PaTwD">
+                <property role="3oM_SC" value="a" />
+              </node>
+              <node concept="3oM_SD" id="4ObboSeYIwH" role="1PaTwD">
+                <property role="3oM_SC" value="wildcard" />
+              </node>
+            </node>
+          </node>
+          <node concept="3clFbH" id="4ObboSeYJ9k" role="3cqZAp" />
+          <node concept="1nLNNL" id="12QmIo_7si2" role="3cqZAp">
+            <node concept="1nLNMm" id="12QmIo_7si3" role="1nLNNK">
+              <node concept="3Aq93q" id="2BbfRGBSoWK" role="1nLNMb">
+                <node concept="3I6sU6" id="2BbfRGBSoWL" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="2BbfRGBSoWP" role="3I6sU7">
+                    <node concept="3Aqt3T" id="2BbfRGBSoWO" role="3I6s78">
+                      <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                      <node concept="1HFMs5" id="1mdVbTSaq2w" role="3AunhB">
+                        <node concept="ns1u0" id="JOGAOsVt9W" role="1uarlW">
+                          <ref role="ns1xF" node="JOGAOsVt2f" resolve="typeVariable" />
+                          <node concept="nsMwS" id="JOGAOsVt9X" role="ns1xD">
+                            <ref role="nsMwP" node="39Sam6ZibY7" resolve="parameter" />
+                            <node concept="1nq8_$" id="49obaclfiiE" role="nsMwV">
+                              <node concept="a7P8L" id="2BbfRGBSpch" role="1nq8_t">
+                                <ref role="a7OzE" node="2BbfRGBSoX0" resolve="Bnd" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="a7P8L" id="2BbfRGBSoXh" role="1uarlU">
+                          <ref role="a7OzE" node="2BbfRGBSoWU" resolve="TypeVar" />
+                        </node>
+                      </node>
+                      <node concept="a7P8L" id="2BbfRGBSpfD" role="3AunhB">
+                        <ref role="a7OzE" node="2BbfRGBSpdX" resolve="To" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="3NuqgR" id="2BbfRGBXXT_" role="0Rg$4">
+                <node concept="aZer4" id="2BbfRGBXXTA" role="3XD1gS">
+                  <property role="TrG5h" value="BndCap" />
+                </node>
+                <node concept="32pEOW" id="24ciDNzxNCN" role="3vLBG7" />
+              </node>
+              <node concept="3NuqgR" id="2BbfRGBSoWT" role="0Rg$4">
+                <node concept="aZer4" id="2BbfRGBSoWU" role="3XD1gS">
+                  <property role="TrG5h" value="TypeVar" />
+                </node>
+                <node concept="aZer4" id="2BbfRGBSoX0" role="3XD1gS">
+                  <property role="TrG5h" value="Bnd" />
+                </node>
+                <node concept="aZer4" id="2BbfRGBSpdX" role="3XD1gS">
+                  <property role="TrG5h" value="To" />
+                </node>
+                <node concept="32pEOW" id="24ciDNzxNCO" role="3vLBG7" />
+              </node>
+              <node concept="3xSepi" id="6E2cNicdiiJ" role="3xSepv">
+                <node concept="3Aq9E8" id="2BbfRGBSpgd" role="3xSepj">
+                  <node concept="3I6sU6" id="2BbfRGBSpge" role="3Ip0Jz">
+                    <node concept="3I6s7M" id="2BbfRGBXXUb" role="3I6sU7">
+                      <node concept="3Aqt3T" id="2BbfRGBXXU9" role="3I6s78">
+                        <ref role="3AqCNq" node="3wxtToEiJ2p" resolve="capture" />
+                        <node concept="a7P8L" id="2BbfRGBXXUm" role="3AunhB">
+                          <ref role="a7OzE" node="2BbfRGBXXTA" resolve="BndCap" />
+                        </node>
+                        <node concept="a7P8L" id="2BbfRGBXXW5" role="3AunhB">
+                          <ref role="a7OzE" node="2BbfRGBSoX0" resolve="Bnd" />
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="3I6s7M" id="2BbfRGBSpgi" role="3I6sU7">
+                      <node concept="3Aqt3T" id="2BbfRGBSpgh" role="3I6s78">
+                        <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
+                        <node concept="a7P8L" id="2BbfRGBXXWb" role="3AunhB">
+                          <ref role="a7OzE" node="2BbfRGBXXTA" resolve="BndCap" />
+                        </node>
+                        <node concept="a7P8L" id="2BbfRGBSpgv" role="3AunhB">
+                          <ref role="a7OzE" node="2BbfRGBSpdX" resolve="To" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
   </node>
   <node concept="0oKg$" id="E1U1n2RerB">
     <property role="TrG5h" value="Types" />
@@ -28359,6 +28379,14 @@
           <node concept="3clFbS" id="5H6hZahszJl" role="2LFqv$">
             <node concept="3clFbF" id="5H6hZahszJm" role="3cqZAp">
               <node concept="37vLTI" id="5H6hZahszJn" role="3clFbG">
+                <node concept="AH0OO" id="5H6hZahszJu" role="37vLTJ">
+                  <node concept="37vLTw" id="5H6hZahszJv" role="AHEQo">
+                    <ref role="3cqZAo" node="5H6hZahszJx" resolve="i" />
+                  </node>
+                  <node concept="37vLTw" id="5H6hZahszJw" role="AHHXb">
+                    <ref role="3cqZAo" node="5H6hZahszJ8" resolve="array" />
+                  </node>
+                </node>
                 <node concept="2OqwBi" id="5H6hZahszJp" role="37vLTx">
                   <node concept="37vLTw" id="5H6hZahszJq" role="2Oq$k0">
                     <ref role="3cqZAo" node="5H6hZahoMRV" resolve="components" />
@@ -28370,14 +28398,6 @@
                     </node>
                   </node>
                 </node>
-                <node concept="AH0OO" id="5H6hZahszJu" role="37vLTJ">
-                  <node concept="37vLTw" id="5H6hZahszJv" role="AHEQo">
-                    <ref role="3cqZAo" node="5H6hZahszJx" resolve="i" />
-                  </node>
-                  <node concept="37vLTw" id="5H6hZahszJw" role="AHHXb">
-                    <ref role="3cqZAo" node="5H6hZahszJ8" resolve="array" />
-                  </node>
-                </node>
               </node>
             </node>
           </node>
@@ -29648,22 +29668,22 @@
                         </node>
                         <node concept="3clFbF" id="290YF3OMFMJ" role="3cqZAp">
                           <node concept="37vLTI" id="290YF3OMFMK" role="3clFbG">
-                            <node concept="37vLTw" id="290YF3OMFMM" role="37vLTx">
-                              <ref role="3cqZAo" node="3KV3FXjZDHt" resolve="nextLeft" />
-                            </node>
                             <node concept="37vLTw" id="290YF3OMFMO" role="37vLTJ">
                               <ref role="3cqZAo" node="3KV3FXjZDHn" resolve="lastLeftMatch" />
                             </node>
+                            <node concept="37vLTw" id="290YF3OMFMM" role="37vLTx">
+                              <ref role="3cqZAo" node="3KV3FXjZDHt" resolve="nextLeft" />
+                            </node>
                           </node>
                         </node>
                         <node concept="3clFbF" id="29MBl1AcxL2" role="3cqZAp">
                           <node concept="37vLTI" id="29MBl1Acyep" role="3clFbG">
-                            <node concept="37vLTw" id="29MBl1Acyj9" role="37vLTx">
-                              <ref role="3cqZAo" node="3KV3FXjZDHz" resolve="nextRight" />
-                            </node>
                             <node concept="37vLTw" id="29MBl1AcxL0" role="37vLTJ">
                               <ref role="3cqZAo" node="29MBl1AcwA0" resolve="lastRightMatch" />
                             </node>
+                            <node concept="37vLTw" id="29MBl1Acyj9" role="37vLTx">
+                              <ref role="3cqZAo" node="3KV3FXjZDHz" resolve="nextRight" />
+                            </node>
                           </node>
                         </node>
                         <node concept="3clFbF" id="290YF3OMJ8I" role="3cqZAp">
@@ -40605,6 +40625,14 @@
           <node concept="3clFbS" id="1qY0I4bBJej" role="2LFqv$">
             <node concept="3clFbF" id="1qY0I4bBJek" role="3cqZAp">
               <node concept="37vLTI" id="1qY0I4bBJel" role="3clFbG">
+                <node concept="AH0OO" id="1qY0I4bBJes" role="37vLTJ">
+                  <node concept="37vLTw" id="1qY0I4bBJet" role="AHEQo">
+                    <ref role="3cqZAo" node="1qY0I4bBJev" resolve="i" />
+                  </node>
+                  <node concept="37vLTw" id="1qY0I4bBJeu" role="AHHXb">
+                    <ref role="3cqZAo" node="1qY0I4bBAJ8" resolve="array" />
+                  </node>
+                </node>
                 <node concept="2OqwBi" id="1qY0I4bBJen" role="37vLTx">
                   <node concept="37vLTw" id="1qY0I4bBPwZ" role="2Oq$k0">
                     <ref role="3cqZAo" node="1qY0I4b_qSe" resolve="as" />
@@ -40616,14 +40644,6 @@
                     </node>
                   </node>
                 </node>
-                <node concept="AH0OO" id="1qY0I4bBJes" role="37vLTJ">
-                  <node concept="37vLTw" id="1qY0I4bBJet" role="AHEQo">
-                    <ref role="3cqZAo" node="1qY0I4bBJev" resolve="i" />
-                  </node>
-                  <node concept="37vLTw" id="1qY0I4bBJeu" role="AHHXb">
-                    <ref role="3cqZAo" node="1qY0I4bBAJ8" resolve="array" />
-                  </node>
-                </node>
               </node>
             </node>
           </node>
@@ -40657,6 +40677,14 @@
           <node concept="3clFbS" id="1qY0I4bBK4_" role="2LFqv$">
             <node concept="3clFbF" id="1qY0I4bBK4A" role="3cqZAp">
               <node concept="37vLTI" id="1qY0I4bBK4B" role="3clFbG">
+                <node concept="AH0OO" id="1qY0I4bBK4I" role="37vLTJ">
+                  <node concept="37vLTw" id="1qY0I4bBK4J" role="AHEQo">
+                    <ref role="3cqZAo" node="1qY0I4bBK4L" resolve="i" />
+                  </node>
+                  <node concept="37vLTw" id="1qY0I4bBK4K" role="AHHXb">
+                    <ref role="3cqZAo" node="1qY0I4bBAJ8" resolve="array" />
+                  </node>
+                </node>
                 <node concept="2OqwBi" id="1qY0I4bBK4D" role="37vLTx">
                   <node concept="liA8E" id="1qY0I4bBK4F" role="2OqNvi">
                     <ref role="37wK5l" to="33ny:~List.get(int)" resolve="get" />
@@ -40668,14 +40696,6 @@
                     <ref role="3cqZAo" node="1qY0I4b_qSl" resolve="bs" />
                   </node>
                 </node>
-                <node concept="AH0OO" id="1qY0I4bBK4I" role="37vLTJ">
-                  <node concept="37vLTw" id="1qY0I4bBK4J" role="AHEQo">
-                    <ref role="3cqZAo" node="1qY0I4bBK4L" resolve="i" />
-                  </node>
-                  <node concept="37vLTw" id="1qY0I4bBK4K" role="AHHXb">
-                    <ref role="3cqZAo" node="1qY0I4bBAJ8" resolve="array" />
-                  </node>
-                </node>
               </node>
             </node>
           </node>