From 22fb818142ab3d8f7ff118f584a7dcfc08a0bb73 Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Fri, 4 Nov 2022 12:09:47 +0100
Subject: [PATCH] Simplify typechecking of SNodeTypeCastExpression, drop
 deprecated stuff

---
 .../jetbrains.mps.lang.smodelExt.types.mps    | 61 -------------------
 1 file changed, 61 deletions(-)

diff --git a/samples/mpscore/languages/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.types.mps b/samples/mpscore/languages/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.types.mps
index e9c6404a..666b9b3d 100644
--- a/samples/mpscore/languages/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.types.mps
+++ b/samples/mpscore/languages/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.types.mps
@@ -9255,67 +9255,6 @@
                     <node concept="3Tqbb2" id="3CulEO26Uxv" role="3vLBG7" />
                   </node>
                   <node concept="3xSepi" id="6RzTUCTkox7" role="3xSepv">
-                    <node concept="3Aq9E8" id="6RzTUCTkox8" role="3xSepj">
-                      <node concept="3I6sU6" id="6RzTUCTkox9" role="3Ip0Jz">
-                        <node concept="3I6s7M" id="6RzTUCTkoxa" role="3I6sU7">
-                          <node concept="3Aqt3T" id="6RzTUCTkoxb" role="3I6s78">
-                            <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
-                            <node concept="a7P8L" id="6RzTUCTkoxc" role="3AunhB">
-                              <ref role="a7OzE" node="6RzTUCTkox2" resolve="AsType" />
-                            </node>
-                            <node concept="ns1u0" id="6RzTUCTkoxd" role="3AunhB">
-                              <ref role="ns1xF" node="3bgqfmmKxBI" resolve="concept" />
-                              <node concept="nsMwS" id="6RzTUCTkoxe" role="ns1xD">
-                                <ref role="nsMwP" node="3lXUvG03UmI" resolve="concept" />
-                                <node concept="a7P8L" id="6RzTUCTkoxg" role="iSaTp">
-                                  <ref role="a7OzE" node="6RzTUCTkox5" resolve="AsConcept" />
-                                </node>
-                              </node>
-                            </node>
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                    <node concept="3Aq9E8" id="6RzTUCTkoxh" role="3xSepj">
-                      <node concept="3I6sU6" id="6RzTUCTkoxi" role="3Ip0Jz">
-                        <node concept="3I6s7M" id="6RzTUCTkoxj" role="3I6sU7">
-                          <node concept="3Aqt3T" id="6RzTUCTkoxk" role="3I6s78">
-                            <ref role="3AqCNq" to="kqnc:3Qp4N06bUPu" resolve="defaultConvertsTo" />
-                            <node concept="a7P8L" id="6RzTUCTkoxl" role="3AunhB">
-                              <ref role="a7OzE" node="6RzTUCTkox1" resolve="LType" />
-                            </node>
-                            <node concept="ns1u0" id="6RzTUCTkoxm" role="3AunhB">
-                              <ref role="ns1xF" node="3bgqfmmKNsS" resolve="conceptNode" />
-                            </node>
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                    <node concept="3Aq9E8" id="6RzTUCTkoxn" role="3xSepj">
-                      <node concept="3I6sU6" id="6RzTUCTkoxo" role="3Ip0Jz">
-                        <node concept="3I6s7M" id="6RzTUCTkoxp" role="3I6sU7">
-                          <node concept="3Aqt3T" id="6RzTUCTkoxq" role="3I6s78">
-                            <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
-                            <node concept="37jhX" id="6RzTUCTkoxr" role="3AunhB">
-                              <node concept="3A2sRY" id="6RzTUCTkoxs" role="37jj2">
-                                <ref role="3A2yKK" node="6RzTUCTkoxQ" resolve="ntce" />
-                              </node>
-                            </node>
-                            <node concept="ns1u0" id="6RzTUCTkoxt" role="3AunhB">
-                              <ref role="ns1xF" node="3bgqfmmKNsS" resolve="conceptNode" />
-                              <node concept="nsMwS" id="6RzTUCTkoxu" role="ns1xD">
-                                <ref role="nsMwP" node="3lXUvG03UmI" resolve="concept" />
-                                <node concept="a7P8L" id="6RzTUCTkoxw" role="iSaTp">
-                                  <ref role="a7OzE" node="6RzTUCTkox5" resolve="AsConcept" />
-                                </node>
-                              </node>
-                            </node>
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                  <node concept="3xSepi" id="6RzTUCTkoxx" role="3xSepv">
                     <node concept="3Aq9E8" id="6RzTUCTkoxy" role="3xSepj">
                       <node concept="3I6sU6" id="6RzTUCTkoxz" role="3Ip0Jz">
                         <node concept="3I6s7M" id="6RzTUCTkox$" role="3I6sU7">