From 9b341c2e2da571af01a9f0c3b2177d8c9eb202b7 Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Fri, 4 Nov 2022 12:01:36 +0100
Subject: [PATCH] Ensure types extend BL's Type term

---
 .../models/jetbrains.mps.baseLanguage.collectionsExt.types.mps | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.types.mps
index ebb4dc75..b390f919 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.types.mps
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.types.mps
@@ -23112,6 +23112,7 @@
     <ref role="2efqH6" to="kqnc:JOGAOsVt29" resolve="Terms" />
     <node concept="3iyMRA" id="1oUE7CX3txF" role="ns1xc">
       <property role="TrG5h" value="iterator" />
+      <ref role="ns1xW" to="kqnc:4lCLOtwq2MF" resolve="type" />
       <node concept="nspSf" id="1oUE7CX3txG" role="ns1xx">
         <node concept="nstbe" id="1oUE7CX3txT" role="nspSe">
           <property role="TrG5h" value="elem" />
@@ -23135,6 +23136,7 @@
     </node>
     <node concept="3iyMRA" id="3Z1xyIwuLO9" role="ns1xc">
       <property role="TrG5h" value="modIterator" />
+      <ref role="ns1xW" to="kqnc:4lCLOtwq2MF" resolve="type" />
       <node concept="nspSf" id="3Z1xyIwuLOa" role="ns1xx">
         <node concept="nstbe" id="3Z1xyIwuLOX" role="nspSe">
           <property role="TrG5h" value="elem" />
@@ -23218,6 +23220,7 @@
     <node concept="3iyMRA" id="1oUE7CX4M7z" role="ns1xc">
       <property role="TrG5h" value="abstractContainer" />
       <property role="3uGXoX" value="true" />
+      <ref role="ns1xW" to="kqnc:4lCLOtwq2MF" resolve="type" />
       <node concept="nspSf" id="1oUE7CX4M7$" role="ns1xx" />
     </node>
     <node concept="3iyMRA" id="1oUE7CX42n0" role="ns1xc">