From be2bb098114c8ad9cdcc3e5de2b290336cec12ec Mon Sep 17 00:00:00 2001
From: Grigorii Kirgizov <grigorii.kirgizov@jetbrains.com>
Date: Wed, 11 Dec 2019 16:56:50 +0300
Subject: [PATCH] Remove incorrect convertsTo rule (any to upperBoundType can't
 be converted)

---
 .../jetbrains.mps.baseLanguageExt.types.mps   | 78 -------------------
 1 file changed, 78 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 433f3c6c..818ea719 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
@@ -16219,84 +16219,6 @@
         </node>
       </node>
     </node>
-    <node concept="1nLNMY" id="12QmIo_7siw" role="1nK1Vg">
-      <property role="TrG5h" value="converts_upperBoundType_bound" />
-      <node concept="3clFbS" id="12QmIo_7six" role="1nLNMH">
-        <node concept="3SKdUt" id="1fKFQTSrQtd" role="3cqZAp">
-          <node concept="1PaTwC" id="1fKFQTSrQte" role="3ndbpf">
-            <node concept="3oM_SD" id="1fKFQTSrQtg" role="1PaTwD">
-              <property role="3oM_SC" value="fixme:" />
-            </node>
-            <node concept="3oM_SD" id="1fKFQTSrQxx" role="1PaTwD">
-              <property role="3oM_SC" value="check" />
-            </node>
-            <node concept="3oM_SD" id="1fKFQTSrQx$" role="1PaTwD">
-              <property role="3oM_SC" value="correctness" />
-            </node>
-          </node>
-        </node>
-        <node concept="1nLNNL" id="12QmIo_7siy" role="3cqZAp">
-          <node concept="1nLNMm" id="12QmIo_7siz" role="1nLNNK">
-            <node concept="0eUR_" id="7lt0LtPBjTl" role="0UC6o">
-              <node concept="3NuqgR" id="2BbfRGCbNHa" role="0eVf_">
-                <node concept="aZer4" id="2BbfRGCbNHb" role="3XD1gS">
-                  <property role="TrG5h" value="Type" />
-                </node>
-                <node concept="aZer4" id="2BbfRGCbNHc" role="3XD1gS">
-                  <property role="TrG5h" value="UBType" />
-                </node>
-                <node concept="aZer4" id="2BbfRGCbNHd" role="3XD1gS">
-                  <property role="TrG5h" value="UBnd" />
-                </node>
-              </node>
-            </node>
-            <node concept="3Aq93q" id="2BbfRGCbNGW" role="1nLNMb">
-              <node concept="3I6sU6" id="2BbfRGCbNGX" role="3Ip0Jz">
-                <node concept="3I6s7M" id="2BbfRGCbNGY" role="3I6sU7">
-                  <node concept="3Aqt3T" id="2BbfRGCbNGZ" role="3I6s78">
-                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
-                    <node concept="a7P8L" id="2BbfRGCbNH0" role="3AunhB">
-                      <ref role="a7OzE" node="2BbfRGCbNHb" resolve="Type" />
-                    </node>
-                    <node concept="1HFMs5" id="1mdVbTSaq3H" role="3AunhB">
-                      <node concept="ns1u0" id="JOGAOsVtbj" role="1uarlW">
-                        <ref role="ns1xF" node="JOGAOsVt2u" resolve="upperBoundType" />
-                        <node concept="nsMwS" id="JOGAOsVtbk" role="ns1xD">
-                          <ref role="nsMwP" node="39Sam6YgyvP" resolve="parameter" />
-                          <node concept="1nq8_$" id="49obaclfij8" role="nsMwV">
-                            <node concept="a7P8L" id="2BbfRGCbNH9" role="1nq8_t">
-                              <ref role="a7OzE" node="2BbfRGCbNHd" resolve="UBnd" />
-                            </node>
-                          </node>
-                        </node>
-                      </node>
-                      <node concept="a7P8L" id="2BbfRGCbNH2" role="1uarlU">
-                        <ref role="a7OzE" node="2BbfRGCbNHc" resolve="UBType" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="3Aq9E8" id="2BbfRGCbNGQ" role="1nLNMd">
-              <node concept="3I6sU6" id="2BbfRGCbNGR" role="3Ip0Jz">
-                <node concept="3I6s7M" id="2BbfRGCbNGS" role="3I6sU7">
-                  <node concept="3Aqt3T" id="2BbfRGCbNGT" role="3I6s78">
-                    <ref role="3AqCNq" node="3Qp4N06bUPu" resolve="convertsTo" />
-                    <node concept="a7P8L" id="2BbfRGCbNGV" role="3AunhB">
-                      <ref role="a7OzE" node="2BbfRGCbNHd" resolve="UBnd" />
-                    </node>
-                    <node concept="a7P8L" id="2BbfRGCbNGU" role="3AunhB">
-                      <ref role="a7OzE" node="2BbfRGCbNHb" resolve="Type" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-    </node>
     <node concept="1nLNMY" id="1fKFQTSrPcv" role="1nK1Vg">
       <property role="TrG5h" value="converts_any_upperBoundType" />
       <node concept="3clFbS" id="1fKFQTSrPcw" role="1nLNMH">