From e3faa5e37e207ad8ecc73e6baf4734c17d5cfbb5 Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Tue, 3 Sep 2024 12:04:45 +0200
Subject: [PATCH] Fix containment of node<> type in classifier<SNode>

---
 .../jetbrains.mps.lang.smodelExt.types.mps    | 77 +++++++++++++++++++
 1 file changed, 77 insertions(+)

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 1accc067..4d37d384 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
@@ -21614,5 +21614,82 @@
       </node>
     </node>
   </node>
+  <node concept="AVZre" id="KkWtiMov5o">
+    <property role="3GE5qa" value="conversion" />
+    <property role="TrG5h" value="Containment" />
+    <ref role="2YbDB9" to="kqnc:6KkyQm4aYIo" resolve="Containment" />
+    <node concept="1nLNMY" id="KkWtiMov5s" role="1nK1Vg">
+      <property role="TrG5h" value="node_containedIn_classifier" />
+      <node concept="3clFbS" id="KkWtiMov5t" role="1nLNMH">
+        <node concept="1nLNNL" id="KkWtiMov5u" role="3cqZAp">
+          <node concept="1nLNMm" id="KkWtiMov5v" role="1nLNNK">
+            <node concept="3Aq93q" id="KkWtiMov5w" role="1nLNMb">
+              <node concept="3I6sU6" id="KkWtiMov5x" role="3Ip0Jz">
+                <node concept="3I6s7M" id="KkWtiMov5z" role="3I6sU7">
+                  <node concept="3Aqt3T" id="KkWtiMov5A" role="3I6s78">
+                    <ref role="3AqCNq" to="kqnc:oCcpswVfdC" resolve="containedInAlt" />
+                    <node concept="ns1u0" id="KkWtiMov5Y" role="3AunhB">
+                      <ref role="ns1xF" node="7LI_gNMWw2A" resolve="node" />
+                    </node>
+                    <node concept="1HFMs5" id="KkWtiMovrt" role="3AunhB">
+                      <node concept="a7P8L" id="KkWtiMovkl" role="1uarlU">
+                        <ref role="a7OzE" node="KkWtiMovjK" resolve="ClsT" />
+                      </node>
+                      <node concept="ns1u0" id="KkWtiMovrJ" role="1uarlW">
+                        <ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="KkWtiMovsO" role="3AunhB">
+                      <ref role="a7OzE" node="KkWtiMovsk" resolve="Opt" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="KkWtiMovjJ" role="0Rg$4">
+              <node concept="aZer4" id="KkWtiMovjK" role="3XD1gS">
+                <property role="TrG5h" value="ClsT" />
+              </node>
+              <node concept="32pEOW" id="KkWtiMow6M" role="3vLBG7" />
+            </node>
+            <node concept="3NuqgR" id="KkWtiMovsj" role="0Rg$4">
+              <node concept="aZer4" id="KkWtiMovsk" role="3XD1gS">
+                <property role="TrG5h" value="Opt" />
+              </node>
+              <node concept="3uibUv" id="KkWtiMovst" role="3vLBG7">
+                <ref role="3uigEE" to="kqnc:3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+            </node>
+            <node concept="3xSepi" id="KkWtiMovuM" role="3xSepv">
+              <node concept="3Aq9E8" id="KkWtiMovuN" role="3xSepj">
+                <node concept="3I6sU6" id="KkWtiMovuO" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="KkWtiMovuQ" role="3I6sU7">
+                    <node concept="3Aqt3T" id="KkWtiMovuP" role="3I6s78">
+                      <ref role="3AqCNq" to="kqnc:oCcpswVfdC" resolve="containedInAlt" />
+                      <node concept="a7P8L" id="KkWtiMovuR" role="3AunhB">
+                        <ref role="a7OzE" node="KkWtiMovjK" resolve="ClsT" />
+                      </node>
+                      <node concept="ns1u0" id="KkWtiMov_Z" role="3AunhB">
+                        <ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
+                        <node concept="nsMwS" id="KkWtiMovAH" role="ns1xD">
+                          <ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
+                          <node concept="h$QuP" id="KkWtiMovC8" role="iSaTp">
+                            <ref role="h$OrH" to="mhbf:~SNode" resolve="SNode" />
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="a7P8L" id="KkWtiMovCT" role="3AunhB">
+                        <ref role="a7OzE" node="KkWtiMovsk" resolve="Opt" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+  </node>
 </model>