From e5c56fbb409a9dee882063747c6598da199cc847 Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Mon, 21 Nov 2022 15:56:26 +0100
Subject: [PATCH] Ensure nothing() is contained in any type

---
 .../jetbrains.mps.baseLanguageExt.types.mps   | 49 +++++++++++++++++++
 1 file changed, 49 insertions(+)

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 866d9216..623ce80d 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
@@ -6602,6 +6602,55 @@
         </node>
       </node>
     </node>
+    <node concept="1nLNMY" id="1uV2bz1Zy3v" role="1nK1Vg">
+      <property role="TrG5h" value="nothing_containedIn_any" />
+      <node concept="3clFbS" id="1uV2bz1Zy3w" role="1nLNMH">
+        <node concept="1nLNNL" id="1uV2bz1Zyj7" role="3cqZAp">
+          <node concept="1nLNMm" id="1uV2bz1Zyj8" role="1nLNNK">
+            <node concept="3Aq93q" id="1uV2bz1Zyjb" role="1nLNMb">
+              <node concept="3I6sU6" id="1uV2bz1Zyjc" role="3Ip0Jz">
+                <node concept="3I6s7M" id="1uV2bz1Zyjg" role="3I6sU7">
+                  <node concept="3Aqt3T" id="1uV2bz1Zyjf" role="3I6s78">
+                    <ref role="3AqCNq" node="oCcpswVfdC" resolve="containedInAlt" />
+                    <node concept="1HFMs5" id="1uV2bz1ZykO" role="3AunhB">
+                      <node concept="a7P8L" id="1uV2bz1ZykM" role="1uarlU">
+                        <ref role="a7OzE" node="1uV2bz1Zyjp" resolve="S" />
+                      </node>
+                      <node concept="ns1u0" id="1uV2bz1Zyl2" role="1uarlW">
+                        <ref role="ns1xF" node="7doxVE4sGJ1" resolve="nothing" />
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="1uV2bz1Zylh" role="3AunhB">
+                      <ref role="a7OzE" node="1uV2bz1ZyjQ" resolve="T" />
+                    </node>
+                    <node concept="a7P8L" id="1uV2bz1Zyns" role="3AunhB">
+                      <ref role="a7OzE" node="1uV2bz1Zykf" resolve="Options" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="1uV2bz1Zyjo" role="0Rg$4">
+              <node concept="aZer4" id="1uV2bz1Zyjp" role="3XD1gS">
+                <property role="TrG5h" value="S" />
+              </node>
+              <node concept="aZer4" id="1uV2bz1ZyjQ" role="3XD1gS">
+                <property role="TrG5h" value="T" />
+              </node>
+              <node concept="32pEOW" id="1uV2bz1Zyj_" role="3vLBG7" />
+            </node>
+            <node concept="3NuqgR" id="1uV2bz1Zyke" role="0Rg$4">
+              <node concept="aZer4" id="1uV2bz1Zykf" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+              <node concept="3uibUv" id="1uV2bz1Zykv" role="3vLBG7">
+                <ref role="3uigEE" node="3vTJNooZBhQ" resolve="Options" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
     <node concept="1nLNMY" id="12QmIo_7slL" role="1nK1Vg">
       <property role="TrG5h" value="free_containedIn_free" />
       <node concept="3clFbS" id="12QmIo_7slM" role="1nLNMH">