From b727b375ba307bff433b51690f0cc52b7fc4750f Mon Sep 17 00:00:00 2001
From: "grigorii.kirgizov" <grigorii.kirgizov@jetbrains.com>
Date: Thu, 27 Dec 2018 14:00:29 +0300
Subject: [PATCH] lc: disallow nested annotations on variables definitions

---
 .../samples.lambdacalc/models/constraints.mps | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps
index b1012cfd..73519797 100644
--- a/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps
+++ b/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps
@@ -132,6 +132,7 @@
       </concept>
     </language>
     <language id="3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1" name="jetbrains.mps.lang.constraints">
+      <concept id="6702802731807420587" name="jetbrains.mps.lang.constraints.structure.ConstraintFunction_CanBeAParent" flags="ig" index="9SLcT" />
       <concept id="8966504967485224688" name="jetbrains.mps.lang.constraints.structure.ConstraintFunctionParameter_contextNode" flags="nn" index="2rP1CM" />
       <concept id="1147467115080" name="jetbrains.mps.lang.constraints.structure.NodePropertyConstraint" flags="ng" index="EnEH3">
         <reference id="1147467295099" name="applicableProperty" index="EomxK" />
@@ -140,10 +141,12 @@
       </concept>
       <concept id="1147467790433" name="jetbrains.mps.lang.constraints.structure.ConstraintFunction_PropertyGetter" flags="in" index="Eqf_E" />
       <concept id="1147468365020" name="jetbrains.mps.lang.constraints.structure.ConstraintsFunctionParameter_node" flags="nn" index="EsrRn" />
+      <concept id="6738154313879680265" name="jetbrains.mps.lang.constraints.structure.ConstraintFunctionParameter_childNode" flags="nn" index="2H4GUG" />
       <concept id="1212096972063" name="jetbrains.mps.lang.constraints.structure.ConstraintFunction_PropertyValidator" flags="in" index="QB0g5" />
       <concept id="5564765827938091039" name="jetbrains.mps.lang.constraints.structure.ConstraintFunction_ReferentSearchScope_Scope" flags="ig" index="3dgokm" />
       <concept id="1213093968558" name="jetbrains.mps.lang.constraints.structure.ConceptConstraints" flags="ng" index="1M2fIO">
         <reference id="1213093996982" name="concept" index="1M2myG" />
+        <child id="6702802731807532712" name="canBeParent" index="9SGkU" />
         <child id="1213098023997" name="property" index="1MhHOB" />
         <child id="1213100494875" name="referent" index="1Mr941" />
       </concept>
@@ -1141,6 +1144,22 @@
         </node>
       </node>
     </node>
+    <node concept="9SLcT" id="1IKbs5XBROw" role="9SGkU">
+      <node concept="3clFbS" id="1IKbs5XBROx" role="2VODD2">
+        <node concept="3clFbF" id="1IKbs5XBVpU" role="3cqZAp">
+          <node concept="3fqX7Q" id="1IKbs5XBVGv" role="3clFbG">
+            <node concept="2OqwBi" id="1IKbs5XBVGx" role="3fr31v">
+              <node concept="2H4GUG" id="1IKbs5XBVGy" role="2Oq$k0" />
+              <node concept="1mIQ4w" id="1IKbs5XBVGz" role="2OqNvi">
+                <node concept="chp4Y" id="1IKbs5XBVG$" role="cj9EA">
+                  <ref role="cht4Q" to="8tt8:JqEP$8fvrm" resolve="AnnVar" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
   </node>
   <node concept="1M2fIO" id="48ZGLP8$3g7">
     <property role="3GE5qa" value="type" />