From 66d2896fffd36b1afc704ffdf9e9328cba466457 Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Tue, 5 May 2020 13:20:59 +0200
Subject: [PATCH] Ensure type variable bounds are processed in coerce query.

This fixes constraint errors in model check while running
typechecking with coderules.
---
 .../models/jetbrains.mps.baseLanguageExt.types.mps       | 9 +++++++++
 1 file changed, 9 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 9fac2ac4..eb58ce74 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
@@ -49262,6 +49262,15 @@
             <node concept="3xSepi" id="tbauFybkiI" role="3xSepv">
               <node concept="3Aq9E8" id="tbauFybkiJ" role="3xSepj">
                 <node concept="3I6sU6" id="tbauFybkiK" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="7AMUQZUUflM" role="3I6sU7">
+                    <node concept="3Aqt3T" id="7AMUQZUUflK" role="3I6s78">
+                      <ref role="3AqCNq" node="36PPzUCxZA0" resolve="importDecls" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="3Aq9E8" id="7AMUQZUUfnZ" role="3xSepj">
+                <node concept="3I6sU6" id="7AMUQZUUfo0" role="3Ip0Jz">
                   <node concept="3I6s7M" id="tbauFybkiL" role="3I6sU7">
                     <node concept="3jbYBd" id="tbauFybkiM" role="3I6s78">
                       <ref role="3jbY9l" node="5itBwMau8m1" resolve="lift" />