From 122917cc42785e100d5517f76bb59f5d6159cf05 Mon Sep 17 00:00:00 2001
From: Grigorii Kirgizov <grigorii.kirgizov@jetbrains.com>
Date: Thu, 24 Oct 2019 23:55:08 +0300
Subject: [PATCH] Fix: clean up lub() constraint in one case. Caused
 typechecker errors.

---
 .../jetbrains.mps.baseLanguageExt.types.mps   | 47 ++++++++++++++++---
 1 file changed, 40 insertions(+), 7 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 94fac1a9..255ea1e2 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
@@ -18770,6 +18770,24 @@
                 </node>
               </node>
             </node>
+            <node concept="3Aq93q" id="66mZxBQpc$j" role="1nLNMb">
+              <node concept="3I6sU6" id="66mZxBQpc$k" role="3Ip0Jz">
+                <node concept="3I6s7M" id="66mZxBQpc$l" role="3I6sU7">
+                  <node concept="3Aqt3T" id="66mZxBQpc$m" role="3I6s78">
+                    <ref role="3AqCNq" node="2q0gzCFHesp" resolve="lub" />
+                    <node concept="a7P8L" id="66mZxBQpc$n" role="3AunhB">
+                      <ref role="a7OzE" node="39Sam6Y68iN" resolve="Lub" />
+                    </node>
+                    <node concept="a7P8L" id="66mZxBQpc$o" role="3AunhB">
+                      <ref role="a7OzE" node="2VOKs1AdaCE" resolve="L" />
+                    </node>
+                    <node concept="a7P8L" id="66mZxBQpc$p" role="3AunhB">
+                      <ref role="a7OzE" node="2VOKs1AdaCX" resolve="R" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
             <node concept="3Aq9E8" id="39Sam6Y68zm" role="1nLNMd">
               <node concept="3I6sU6" id="39Sam6Y68zn" role="3Ip0Jz">
                 <node concept="3I6s7M" id="39Sam6Y68zt" role="3I6sU7">
@@ -34730,15 +34748,30 @@
                 <node concept="3clFbH" id="6cPUNFQQzD5" role="3cqZAp" />
                 <node concept="3clFbJ" id="6cPUNFQQr7e" role="3cqZAp">
                   <node concept="3clFbS" id="6cPUNFQQr7g" role="3clFbx">
-                    <node concept="3Aqczg" id="7XRk2O3zflD" role="3cqZAp">
-                      <node concept="3Aqt3T" id="7XRk2O3zflp" role="3Aqpz8">
-                        <ref role="3AqCNq" node="5310cdpUCx3" resolve="intro_hasBound" />
-                        <node concept="aZ4PW" id="7XRk2O3zflr" role="3AunhB">
-                          <node concept="3txIi4" id="7XRk2O3zflt" role="aZ4eD" />
+                    <node concept="3clFbJ" id="66mZxBQng_E" role="3cqZAp">
+                      <node concept="3clFbS" id="66mZxBQng_G" role="3clFbx">
+                        <node concept="3Aqczg" id="7XRk2O3zflD" role="3cqZAp">
+                          <node concept="3Aqt3T" id="7XRk2O3zflp" role="3Aqpz8">
+                            <ref role="3AqCNq" node="5310cdpUCx3" resolve="intro_hasBound" />
+                            <node concept="aZ4PW" id="7XRk2O3zflr" role="3AunhB">
+                              <node concept="3txIi4" id="7XRk2O3zflt" role="aZ4eD" />
+                            </node>
+                            <node concept="a7P8L" id="6cPUNFQQ$fN" role="3AunhB">
+                              <ref role="a7OzE" node="7XRk2O3zfxP" resolve="Bnd" />
+                            </node>
+                          </node>
                         </node>
-                        <node concept="a7P8L" id="6cPUNFQQ$fN" role="3AunhB">
-                          <ref role="a7OzE" node="7XRk2O3zfxP" resolve="Bnd" />
+                      </node>
+                      <node concept="2OqwBi" id="66mZxBQnhgx" role="3clFbw">
+                        <node concept="2OqwBi" id="66mZxBQngLd" role="2Oq$k0">
+                          <node concept="3tDTZT" id="66mZxBQng_Y" role="2Oq$k0">
+                            <ref role="3tDTNw" node="7XRk2O3zfwZ" resolve="tvd1" />
+                          </node>
+                          <node concept="3TrEf2" id="66mZxBQngXu" role="2OqNvi">
+                            <ref role="3Tt5mk" to="tpee:hFztrQw" resolve="bound" />
+                          </node>
                         </node>
+                        <node concept="3x8VRR" id="66mZxBQnhEl" role="2OqNvi" />
                       </node>
                     </node>
                   </node>