From 41b15f65c4205eeec244a13646ae2b56b3f3debc Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Mon, 18 Feb 2019 12:26:05 +0100
Subject: [PATCH] Replace assert() constraints with fail() together with an
 error message.

---
 .../jetbrains.mps.baseLanguageExt.types.mps   | 301 +++++++++++++-----
 1 file changed, 227 insertions(+), 74 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 da3f3af5..af3e5a78 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
@@ -666,7 +666,9 @@
         <child id="1302893676238674275" name="logical" index="1imXu6" />
         <child id="1302893676238672106" name="origin" index="1imXSf" />
       </concept>
-      <concept id="7248331023826941335" name="jetbrains.mps.lang.coderules.structure.AssertExpressionConstraint" flags="ng" index="3lcGGY" />
+      <concept id="4957570047287105024" name="jetbrains.mps.lang.coderules.structure.FailConstraint" flags="ng" index="1lpGmL">
+        <child id="4957570047287138243" name="message" index="1lp$hM" />
+      </concept>
       <concept id="3575255234196628445" name="jetbrains.mps.lang.coderules.structure.RequireStatement" flags="ng" index="1mebxG">
         <child id="3575255234196628696" name="node" index="1mebXD" />
       </concept>
@@ -3225,10 +3227,10 @@
                     <node concept="3clFbH" id="2QSgdliCgzl" role="3cqZAp" />
                     <node concept="3clFbJ" id="6EY0p2wEpMB" role="3cqZAp">
                       <node concept="3clFbS" id="6EY0p2wEpMD" role="3clFbx">
-                        <node concept="3Aqczg" id="6EY0p2wF9yH" role="3cqZAp">
-                          <node concept="3lcGGY" id="6EY0p2wF9yF" role="3Aqpz8">
-                            <node concept="3clFbT" id="6EY0p2wF9yK" role="3wWo3s">
-                              <property role="3clFbU" value="false" />
+                        <node concept="3Aqczg" id="4WwvXRZ8kwK" role="3cqZAp">
+                          <node concept="1lpGmL" id="4WwvXRZ8kwZ" role="3Aqpz8">
+                            <node concept="Xl_RD" id="4WwvXRZ8kx5" role="1lp$hM">
+                              <property role="Xl_RC" value="incorrect number of type arguments" />
                             </node>
                           </node>
                         </node>
@@ -4428,10 +4430,10 @@
                     <node concept="3clFbH" id="6EY0p2yna4F" role="3cqZAp" />
                     <node concept="3clFbJ" id="6EY0p2yna91" role="3cqZAp">
                       <node concept="3clFbS" id="6EY0p2yna93" role="3clFbx">
-                        <node concept="3Aqczg" id="6EY0p2ynSUy" role="3cqZAp">
-                          <node concept="3lcGGY" id="6EY0p2ynSUw" role="3Aqpz8">
-                            <node concept="3clFbT" id="6EY0p2ynSU_" role="3wWo3s">
-                              <property role="3clFbU" value="false" />
+                        <node concept="3Aqczg" id="4WwvXRZ9M4X" role="3cqZAp">
+                          <node concept="1lpGmL" id="4WwvXRZ9M4Y" role="3Aqpz8">
+                            <node concept="Xl_RD" id="4WwvXRZ9M4Z" role="1lp$hM">
+                              <property role="Xl_RC" value="incorrect number of type arguments" />
                             </node>
                           </node>
                         </node>
@@ -5419,9 +5421,11 @@
                   <node concept="3clFbS" id="6EY0p2w$lZV" role="3IrJb0">
                     <node concept="3clFbJ" id="27bTNFf536k" role="3cqZAp">
                       <node concept="3clFbS" id="27bTNFf536m" role="3clFbx">
-                        <node concept="3Aqczg" id="27bTNFf5mrx" role="3cqZAp">
-                          <node concept="3lcGGY" id="27bTNFf5mrv" role="3Aqpz8">
-                            <node concept="3clFbT" id="27bTNFf5mta" role="3wWo3s" />
+                        <node concept="3Aqczg" id="4WwvXRZ9M5e" role="3cqZAp">
+                          <node concept="1lpGmL" id="4WwvXRZ9M5f" role="3Aqpz8">
+                            <node concept="Xl_RD" id="4WwvXRZ9M5g" role="1lp$hM">
+                              <property role="Xl_RC" value="incorrect number of type arguments" />
+                            </node>
                           </node>
                         </node>
                         <node concept="3clFbH" id="27bTNFf5muM" role="3cqZAp" />
@@ -6010,10 +6014,10 @@
                   <node concept="3clFbS" id="70Wv0dJ7tr8" role="3IrJb0">
                     <node concept="3clFbJ" id="70Wv0dJ7KEN" role="3cqZAp">
                       <node concept="3clFbS" id="70Wv0dJ7KEP" role="3clFbx">
-                        <node concept="3Aqczg" id="70Wv0dJ84dq" role="3cqZAp">
-                          <node concept="3lcGGY" id="70Wv0dJ84do" role="3Aqpz8">
-                            <node concept="3clFbT" id="70Wv0dJ84dt" role="3wWo3s">
-                              <property role="3clFbU" value="false" />
+                        <node concept="3Aqczg" id="4WwvXRZ9M5v" role="3cqZAp">
+                          <node concept="1lpGmL" id="4WwvXRZ9M5w" role="3Aqpz8">
+                            <node concept="Xl_RD" id="4WwvXRZ9M5x" role="1lp$hM">
+                              <property role="Xl_RC" value="incorrect number of type arguments" />
                             </node>
                           </node>
                         </node>
@@ -7104,25 +7108,6 @@
     <node concept="1nLNMY" id="6EY0p2vHApT" role="1nK1Vg">
       <property role="TrG5h" value="var_noUbound_notContainedIn_var_ubound" />
       <node concept="3clFbS" id="6EY0p2vHApU" role="1nLNMH">
-        <node concept="3cpWs8" id="6EY0p2vHApV" role="3cqZAp">
-          <node concept="3cpWsn" id="6EY0p2vHApW" role="3cpWs9">
-            <property role="TrG5h" value="objectCls" />
-            <node concept="3Tqbb2" id="6EY0p2vHApX" role="1tU5fm">
-              <ref role="ehGHo" to="tpee:fz12cDA" resolve="ClassConcept" />
-            </node>
-            <node concept="2OqwBi" id="6EY0p2vHApY" role="33vP2m">
-              <node concept="2tJFMh" id="6EY0p2vHApZ" role="2Oq$k0">
-                <node concept="ZC_QK" id="6EY0p2vHAq0" role="2tJFKM">
-                  <ref role="2aWVGs" to="wyt6:~Object" resolve="Object" />
-                </node>
-              </node>
-              <node concept="Vyspw" id="6EY0p2vHAq1" role="2OqNvi">
-                <node concept="33z2y$" id="6EY0p2vHAq2" role="Vysub" />
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="3clFbH" id="6EY0p2vHAq3" role="3cqZAp" />
         <node concept="1nLNNL" id="6EY0p2vHAq4" role="3cqZAp">
           <node concept="1nLNMm" id="6EY0p2vHAq5" role="1nLNNK">
             <node concept="0eUR_" id="6EY0p2vHAq6" role="0UC6o">
@@ -7182,10 +7167,33 @@
             </node>
             <node concept="3Aq9E8" id="6EY0p2vHAAZ" role="1nLNMd">
               <node concept="3I6sU6" id="6EY0p2vHAB0" role="3Ip0Jz">
-                <node concept="3I6s7M" id="6EY0p2vHAB4" role="3I6sU7">
-                  <node concept="3lcGGY" id="6EY0p2vHAB3" role="3I6s78">
-                    <node concept="3clFbT" id="6EY0p2vHAB7" role="3wWo3s">
-                      <property role="3clFbU" value="false" />
+                <node concept="3I6s7M" id="4WwvXRZ8cw7" role="3I6sU7">
+                  <node concept="1lpGmL" id="4WwvXRZ8cw3" role="3I6s78">
+                    <node concept="3cpWs3" id="4WwvXRZ8e5j" role="1lp$hM">
+                      <node concept="3cpWs3" id="4WwvXRZ8d7s" role="3uHU7B">
+                        <node concept="3cpWs3" id="4WwvXRZ8d2S" role="3uHU7B">
+                          <node concept="Xl_RD" id="4WwvXRZ8cwe" role="3uHU7B">
+                            <property role="Xl_RC" value="free type variable " />
+                          </node>
+                          <node concept="1TmgYN" id="4WwvXRZbpRL" role="3uHU7w">
+                            <node concept="1nq8_$" id="4WwvXRZbpSs" role="1Tms7$">
+                              <node concept="a7P8L" id="4WwvXRZbpSq" role="1nq8_t">
+                                <ref role="a7OzE" node="6EY0p2vHAqa" resolve="S" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="Xl_RD" id="4WwvXRZ8d34" role="3uHU7w">
+                          <property role="Xl_RC" value=" is not contained in " />
+                        </node>
+                      </node>
+                      <node concept="1TmgYN" id="4WwvXRZbq7g" role="3uHU7w">
+                        <node concept="1nq8_$" id="4WwvXRZbqch" role="1Tms7$">
+                          <node concept="a7P8L" id="4WwvXRZbqcf" role="1nq8_t">
+                            <ref role="a7OzE" node="6EY0p2vHAqb" resolve="T" />
+                          </node>
+                        </node>
+                      </node>
                     </node>
                   </node>
                 </node>
@@ -8764,10 +8772,33 @@
             </node>
             <node concept="3Aq9E8" id="2603Jg6AsuE" role="1nLNMd">
               <node concept="3I6sU6" id="4nIWweByRjX" role="3Ip0Jz">
-                <node concept="3I6s7M" id="4nIWweByRjY" role="3I6sU7">
-                  <node concept="3lcGGY" id="2603Jg6AsuH" role="3I6s78">
-                    <node concept="3clFbT" id="2603Jg6AsuI" role="3wWo3s">
-                      <property role="3clFbU" value="false" />
+                <node concept="3I6s7M" id="4WwvXRZ8efn" role="3I6sU7">
+                  <node concept="1lpGmL" id="4WwvXRZ8efj" role="3I6s78">
+                    <node concept="3cpWs3" id="4WwvXRZ8fy2" role="1lp$hM">
+                      <node concept="3cpWs3" id="4WwvXRZ8eQz" role="3uHU7B">
+                        <node concept="3cpWs3" id="4WwvXRZ8eLZ" role="3uHU7B">
+                          <node concept="Xl_RD" id="4WwvXRZ8efu" role="3uHU7B">
+                            <property role="Xl_RC" value="type " />
+                          </node>
+                          <node concept="1TmgYN" id="4WwvXRZbqj8" role="3uHU7w">
+                            <node concept="1nq8_$" id="4WwvXRZbqjH" role="1Tms7$">
+                              <node concept="a7P8L" id="4WwvXRZbqjF" role="1nq8_t">
+                                <ref role="a7OzE" node="2603Jg6Asuz" resolve="S" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="Xl_RD" id="4WwvXRZ8eMb" role="3uHU7w">
+                          <property role="Xl_RC" value=" is not contained in " />
+                        </node>
+                      </node>
+                      <node concept="1TmgYN" id="4WwvXRZbqtr" role="3uHU7w">
+                        <node concept="1nq8_$" id="4WwvXRZbqyK" role="1Tms7$">
+                          <node concept="a7P8L" id="4WwvXRZbqyI" role="1nq8_t">
+                            <ref role="a7OzE" node="2603Jg6Asu$" resolve="T" />
+                          </node>
+                        </node>
+                      </node>
                     </node>
                   </node>
                 </node>
@@ -11407,9 +11438,20 @@
             </node>
             <node concept="3Aq9E8" id="2rIdnPw3ze3" role="1nLNMd">
               <node concept="3I6sU6" id="2rIdnPw3ze4" role="3Ip0Jz">
-                <node concept="3I6s7M" id="2rIdnPw3zAz" role="3I6sU7">
-                  <node concept="3lcGGY" id="2rIdnPw3zAy" role="3I6s78">
-                    <node concept="3clFbT" id="2rIdnPw3zBs" role="3wWo3s" />
+                <node concept="3I6s7M" id="4WwvXRZ8fUG" role="3I6sU7">
+                  <node concept="1lpGmL" id="4WwvXRZ8fUC" role="3I6s78">
+                    <node concept="3cpWs3" id="4WwvXRZ8gtz" role="1lp$hM">
+                      <node concept="Xl_RD" id="4WwvXRZ8fUN" role="3uHU7B">
+                        <property role="Xl_RC" value="cannot find conversion for type " />
+                      </node>
+                      <node concept="1TmgYN" id="4WwvXRZbqCZ" role="3uHU7w">
+                        <node concept="1nq8_$" id="4WwvXRZbqDu" role="1Tms7$">
+                          <node concept="a7P8L" id="4WwvXRZbqDs" role="1nq8_t">
+                            <ref role="a7OzE" node="2rIdnPw3zdG" resolve="T" />
+                          </node>
+                        </node>
+                      </node>
+                    </node>
                   </node>
                 </node>
               </node>
@@ -11558,10 +11600,33 @@
             </node>
             <node concept="3Aq9E8" id="2shrukTPBe$" role="1nLNMd">
               <node concept="3I6sU6" id="4nIWweBB_8G" role="3Ip0Jz">
-                <node concept="3I6s7M" id="4nIWweBB_8H" role="3I6sU7">
-                  <node concept="3lcGGY" id="2shrukTPBvD" role="3I6s78">
-                    <node concept="3clFbT" id="2shrukTPBvH" role="3wWo3s">
-                      <property role="3clFbU" value="false" />
+                <node concept="3I6s7M" id="4WwvXRZ8gyo" role="3I6sU7">
+                  <node concept="1lpGmL" id="4WwvXRZ8gyk" role="3I6s78">
+                    <node concept="3cpWs3" id="4WwvXRZ8igB" role="1lp$hM">
+                      <node concept="3cpWs3" id="4WwvXRZ8h9$" role="3uHU7B">
+                        <node concept="3cpWs3" id="4WwvXRZ8h50" role="3uHU7B">
+                          <node concept="Xl_RD" id="4WwvXRZ8gyv" role="3uHU7B">
+                            <property role="Xl_RC" value="type " />
+                          </node>
+                          <node concept="1TmgYN" id="4WwvXRZbqIE" role="3uHU7w">
+                            <node concept="1nq8_$" id="4WwvXRZbqJj" role="1Tms7$">
+                              <node concept="a7P8L" id="4WwvXRZbqJh" role="1nq8_t">
+                                <ref role="a7OzE" node="2CsZ2XTdf5" resolve="S" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="Xl_RD" id="4WwvXRZ8h5c" role="3uHU7w">
+                          <property role="Xl_RC" value=" cannot be converted to " />
+                        </node>
+                      </node>
+                      <node concept="1TmgYN" id="4WwvXRZbqT9" role="3uHU7w">
+                        <node concept="1nq8_$" id="4WwvXRZbqYy" role="1Tms7$">
+                          <node concept="a7P8L" id="4WwvXRZbqYw" role="1nq8_t">
+                            <ref role="a7OzE" node="2CsZ2XTdfe" resolve="T" />
+                          </node>
+                        </node>
+                      </node>
                     </node>
                   </node>
                 </node>
@@ -13527,10 +13592,33 @@
             </node>
             <node concept="3Aq9E8" id="5_6ImQYeODm" role="1nLNMd">
               <node concept="3I6sU6" id="4nIWweBCCWR" role="3Ip0Jz">
-                <node concept="3I6s7M" id="4nIWweBCCWS" role="3I6sU7">
-                  <node concept="3lcGGY" id="5_6ImQYeODq" role="3I6s78">
-                    <node concept="3clFbT" id="5_6ImQYeODu" role="3wWo3s">
-                      <property role="3clFbU" value="false" />
+                <node concept="3I6s7M" id="4WwvXRZ9Ol8" role="3I6sU7">
+                  <node concept="1lpGmL" id="4WwvXRZ9Ol4" role="3I6s78">
+                    <node concept="3cpWs3" id="4WwvXRZ9PKV" role="1lp$hM">
+                      <node concept="3cpWs3" id="4WwvXRZ9OWk" role="3uHU7B">
+                        <node concept="3cpWs3" id="4WwvXRZ9ORK" role="3uHU7B">
+                          <node concept="Xl_RD" id="4WwvXRZ9Olf" role="3uHU7B">
+                            <property role="Xl_RC" value="type " />
+                          </node>
+                          <node concept="1TmgYN" id="4WwvXRZbul2" role="3uHU7w">
+                            <node concept="1nq8_$" id="4WwvXRZbulB" role="1Tms7$">
+                              <node concept="a7P8L" id="4WwvXRZbul_" role="1nq8_t">
+                                <ref role="a7OzE" node="5_6ImQYeLqu" resolve="Subtype" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="Xl_RD" id="4WwvXRZ9ORW" role="3uHU7w">
+                          <property role="Xl_RC" value=" cannot be converted to " />
+                        </node>
+                      </node>
+                      <node concept="1TmgYN" id="4WwvXRZbu$9" role="3uHU7w">
+                        <node concept="1nq8_$" id="4WwvXRZbuD4" role="1Tms7$">
+                          <node concept="a7P8L" id="4WwvXRZbuD2" role="1nq8_t">
+                            <ref role="a7OzE" node="5_6ImQYeLqB" resolve="Supertype" />
+                          </node>
+                        </node>
+                      </node>
                     </node>
                   </node>
                 </node>
@@ -14615,10 +14703,33 @@
             </node>
             <node concept="3Aq9E8" id="4j2EcMONQOk" role="1nLNMd">
               <node concept="3I6sU6" id="4nIWweBB$BG" role="3Ip0Jz">
-                <node concept="3I6s7M" id="4nIWweBB$BH" role="3I6sU7">
-                  <node concept="3lcGGY" id="4j2EcMONQOn" role="3I6s78">
-                    <node concept="3clFbT" id="4j2EcMONQOo" role="3wWo3s">
-                      <property role="3clFbU" value="false" />
+                <node concept="3I6s7M" id="4WwvXRZ8ar1" role="3I6sU7">
+                  <node concept="1lpGmL" id="4WwvXRZ8aqX" role="3I6s78">
+                    <node concept="3cpWs3" id="4WwvXRZ8chK" role="1lp$hM">
+                      <node concept="3cpWs3" id="4WwvXRZ8aXP" role="3uHU7B">
+                        <node concept="3cpWs3" id="4WwvXRZ8b_a" role="3uHU7B">
+                          <node concept="Xl_RD" id="4WwvXRZ8ar8" role="3uHU7B">
+                            <property role="Xl_RC" value="cannot coerce " />
+                          </node>
+                          <node concept="1TmgYN" id="4WwvXRZbplK" role="3uHU7w">
+                            <node concept="1nq8_$" id="4WwvXRZbpml" role="1Tms7$">
+                              <node concept="a7P8L" id="4WwvXRZbpmj" role="1nq8_t">
+                                <ref role="a7OzE" node="4j2EcMONQOb" resolve="Type" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="Xl_RD" id="4WwvXRZ8b_W" role="3uHU7w">
+                          <property role="Xl_RC" value=" to " />
+                        </node>
+                      </node>
+                      <node concept="1TmgYN" id="4WwvXRZbp$R" role="3uHU7w">
+                        <node concept="1nq8_$" id="4WwvXRZbpDM" role="1Tms7$">
+                          <node concept="a7P8L" id="4WwvXRZbpDK" role="1nq8_t">
+                            <ref role="a7OzE" node="4j2EcMONQOd" resolve="Domain" />
+                          </node>
+                        </node>
+                      </node>
                     </node>
                   </node>
                 </node>
@@ -16799,10 +16910,33 @@
             </node>
             <node concept="3Aq9E8" id="19nQ_7UPXoU" role="1nLNMd">
               <node concept="3I6sU6" id="19nQ_7UPXoV" role="3Ip0Jz">
-                <node concept="3I6s7M" id="19nQ_7UPXEx" role="3I6sU7">
-                  <node concept="3lcGGY" id="19nQ_7UPXEw" role="3I6s78">
-                    <node concept="3clFbT" id="19nQ_7UPXE$" role="3wWo3s">
-                      <property role="3clFbU" value="false" />
+                <node concept="3I6s7M" id="4WwvXRZ9Mu2" role="3I6sU7">
+                  <node concept="1lpGmL" id="4WwvXRZ9MtY" role="3I6s78">
+                    <node concept="3cpWs3" id="4WwvXRZ9NMc" role="1lp$hM">
+                      <node concept="3cpWs3" id="4WwvXRZ9N5e" role="3uHU7B">
+                        <node concept="3cpWs3" id="4WwvXRZ9N0E" role="3uHU7B">
+                          <node concept="Xl_RD" id="4WwvXRZ9Mu9" role="3uHU7B">
+                            <property role="Xl_RC" value="type " />
+                          </node>
+                          <node concept="1TmgYN" id="4WwvXRZbtBr" role="3uHU7w">
+                            <node concept="1nq8_$" id="4WwvXRZbtC0" role="1Tms7$">
+                              <node concept="a7P8L" id="4WwvXRZbtBY" role="1nq8_t">
+                                <ref role="a7OzE" node="19nQ_7UPXpg" resolve="S" />
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="Xl_RD" id="4WwvXRZ9N0Q" role="3uHU7w">
+                          <property role="Xl_RC" value=" is not subtype of " />
+                        </node>
+                      </node>
+                      <node concept="1TmgYN" id="4WwvXRZbtLI" role="3uHU7w">
+                        <node concept="1nq8_$" id="4WwvXRZbtQD" role="1Tms7$">
+                          <node concept="a7P8L" id="4WwvXRZbtQB" role="1nq8_t">
+                            <ref role="a7OzE" node="19nQ_7UPXpp" resolve="T" />
+                          </node>
+                        </node>
+                      </node>
                     </node>
                   </node>
                 </node>
@@ -17746,10 +17880,19 @@
             </node>
             <node concept="3Aq9E8" id="5XJPBczwl$n" role="1nLNMd">
               <node concept="3I6sU6" id="5XJPBczwl$o" role="3Ip0Jz">
-                <node concept="3I6s7M" id="5XJPBczwl$p" role="3I6sU7">
-                  <node concept="3lcGGY" id="5XJPBczwl$q" role="3I6s78">
-                    <node concept="3clFbT" id="5XJPBczwl$r" role="3wWo3s">
-                      <property role="3clFbU" value="false" />
+                <node concept="3I6s7M" id="4WwvXRZ581j" role="3I6sU7">
+                  <node concept="1lpGmL" id="4WwvXRZ581f" role="3I6s78">
+                    <node concept="3cpWs3" id="4WwvXRZ58$j" role="1lp$hM">
+                      <node concept="1TmgYN" id="4WwvXRZ58$v" role="3uHU7w">
+                        <node concept="1nq8_$" id="4WwvXRZ58$J" role="1Tms7$">
+                          <node concept="a7P8L" id="4WwvXRZ58$H" role="1nq8_t">
+                            <ref role="a7OzE" node="1Py6iKEYXr" resolve="Type" />
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="Xl_RD" id="4WwvXRZ581q" role="3uHU7B">
+                        <property role="Xl_RC" value="cannot find boxed type for " />
+                      </node>
                     </node>
                   </node>
                 </node>
@@ -18230,10 +18373,19 @@
             </node>
             <node concept="3Aq9E8" id="5XJPBczwlYN" role="1nLNMd">
               <node concept="3I6sU6" id="5XJPBczwlYO" role="3Ip0Jz">
-                <node concept="3I6s7M" id="5XJPBczwlYP" role="3I6sU7">
-                  <node concept="3lcGGY" id="5XJPBczwlYQ" role="3I6s78">
-                    <node concept="3clFbT" id="5XJPBczwlYR" role="3wWo3s">
-                      <property role="3clFbU" value="false" />
+                <node concept="3I6s7M" id="4WwvXRZ6ICQ" role="3I6sU7">
+                  <node concept="1lpGmL" id="4WwvXRZ6ICR" role="3I6s78">
+                    <node concept="3cpWs3" id="4WwvXRZ6ICS" role="1lp$hM">
+                      <node concept="1TmgYN" id="4WwvXRZ6ICT" role="3uHU7w">
+                        <node concept="1nq8_$" id="4WwvXRZ6ICU" role="1Tms7$">
+                          <node concept="a7P8L" id="4WwvXRZ6ICV" role="1nq8_t">
+                            <ref role="a7OzE" node="5XJPBczwlWr" resolve="Type" />
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="Xl_RD" id="4WwvXRZ6ICW" role="3uHU7B">
+                        <property role="Xl_RC" value="cannot find unboxed type for " />
+                      </node>
                     </node>
                   </node>
                 </node>
@@ -27402,13 +27554,14 @@
                     </node>
                     <node concept="9aQIb" id="7XRk2O3zfql" role="9aQIa">
                       <node concept="3clFbS" id="7XRk2O3zfqp" role="9aQI4">
-                        <node concept="3Aqczg" id="7XRk2O3zftH" role="3cqZAp">
-                          <node concept="3lcGGY" id="7XRk2O3zftJ" role="3Aqpz8">
-                            <node concept="3clFbT" id="7XRk2O3zftN" role="3wWo3s">
-                              <property role="3clFbU" value="false" />
+                        <node concept="3Aqczg" id="4WwvXRZ9QvM" role="3cqZAp">
+                          <node concept="1lpGmL" id="4WwvXRZ9QvN" role="3Aqpz8">
+                            <node concept="Xl_RD" id="4WwvXRZ9QvO" role="1lp$hM">
+                              <property role="Xl_RC" value="incorrect number of type arguments" />
                             </node>
                           </node>
                         </node>
+                        <node concept="3clFbH" id="4WwvXRZ9QvH" role="3cqZAp" />
                       </node>
                     </node>
                   </node>